Follow
Craig McLaughlin
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–7