Number of items: 5.
Kanabar, Hrutvik,
Vivien, Samuel,
Abrahamsson, Oskar,
Myreen, Magnus O.,
Norrish, Michael,
Pohjola, Johannes Åman,
Zanetti, Riccardo
(2023)
PureCake: A verified compiler for a lazy functional language.
Proceedings of the ACM on Programming Languages,
7
(PLDI).
pp. 952-976.
E-ISSN 2475-1421.
(doi:10.1145/3591259)
(KAR id:101697)
|
|
Alhasan, Khawla,
Ceccaldi, Eleonora,
Covaci, Alexandra,
Mancini, Maurizio,
Altarriba Bertran, Ferran,
Huisman, Gijs,
Lemke, Mailin,
Ang, Chee Siang
(2022)
The Playful Potential of Digital Commensality: Learning from Spontaneous Playful Remote Dining Practices.
Proceedings of the ACM on Human-Computer Interaction,
6
(CHI PL).
Article Number 254.
ISSN 2573-0142.
(doi:10.1145/3549517)
(KAR id:98093)
|
|
This list was generated on Fri Nov 8 01:27:51 2024 GMT.