Travelled to:1 × Canada
Collaborated with:S.Lindley C.McBride G.Neis C.Hur J.Kaiser D.Dreyer V.Vafeiadis
Talks about:do (3) be (2) composit (1) pilsner (1) languag (1) verifi (1) higher (1) compil (1) order (1) imper (1)
Person: Craig McLaughlin
DBLP: McLaughlin:Craig
Contributed to:
2015
2017Wrote 2 papers:
- ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named
- Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.
- POPL-2017-LindleyMM
- Do be do be do (SL, CM, CM), pp. 500–514.