Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Characterising renaming within OCaml's module system: theory and implementation., , , and . PLDI, page 950-965. ACM, (2019)Syntactic Abstraction in Component Interfaces., , and . GPCE, volume 3676 of Lecture Notes in Computer Science, page 373-388. Springer, (2005)Steps towards Verified Implementations of HOL Light., , and . ITP, volume 7998 of Lecture Notes in Computer Science, page 490-495. Springer, (2013)Deformable Volumes in Path Planning Applications., , , and . ICRA, page 2290-2295. IEEE, (2000)Lem: reusable engineering of real-world semantics., , , , and . ICFP, page 175-188. ACM, (2014)Synchronising C/C++ and POWER., , , , , , , and . PLDI, page 311-322. ACM, (2012)A Better x86 Memory Model: x86-TSO., , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 391-407. Springer, (2009)Compile-Time Information in Software Components.. University of Utah, USA, (2007)Regular-expression derivatives re-examined., , and . J. Funct. Program., 19 (2): 173-190 (2009)CakeML: a verified implementation of ML., , , and . POPL, page 179-192. ACM, (2014)