Folgen
Craig McLaughlin
Craig McLaughlin
Senior Research Associate, University of New South Wales
Bestätigte E-Mail-Adresse bei unsw.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Pilsner: A compositionally verified compiler for a higher-order imperative language
G Neis, CK Hur, JO Kaiser, C McLaughlin, D Dreyer, V Vafeiadis
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
1022015
Doo bee doo bee doo
L Convent, S Lindley, C McBride, C McLaughlin
Journal of Functional Programming 30, e9, 2020
472020
Triangulating context lemmas
C McLaughlin, J McKinna, I Stark
Proceedings of the 7th acm sigplan international conference on certified …, 2018
152018
Dargent: A Silver Bullet for Verified Data Layout Refinement
Z Chen, A Lafont, L O'Connor, G Keller, C McLaughlin, V Jackson, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 1369-1395, 2023
32023
Relational reasoning for effects and handlers
C McLaughlin
The University of Edinburgh, 2020
22020
Do Be Do. In: POPL'2017. ACM, New York, pp. 500-514. ISBN 9781450346603, http://dx. doi. org/10.1145/3009837.3009897
S Lindley, C McBride, C McLaughlin
Encapsulating Effects in Frank
L Convent, S Lindley, C McBride, C McLaughlin
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7