Följ
Craig McLaughlin
Craig McLaughlin
Senior Research Associate, University of New South Wales
Verifierad e-postadress på unsw.edu.au - Startsida
Titel
Citeras av
Citeras av
År
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
992015
Doo bee doo bee doo
L Convent, S Lindley, C McBride, C McLaughlin
Journal of Functional Programming 30, e9, 2020
482020
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
22023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–7