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

Modern Compiler Implementation in ML: Basic Techniques. Cambridge University Press, (1997)Foundational proof checkers with small witnesses., , and . PPDP, page 264-274. ACM, (2003)Semantics-Directed Code Generation.. POPL, page 315-324. ACM Press, (1985)Security Seals on Voting Machines: A Case Study.. ACM Trans. Inf. Syst. Secur., 14 (2): 18:1-18:29 (2011)A Fresh Look at Separation Algebras and Share Accounting., , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 161-177. Springer, (2009)Local actions for a curry-style operational semantics., and . PLPV, page 31-42. ACM, (2011)An indexed model of recursive types for foundational proof-carrying code., and . ACM Trans. Program. Lang. Syst., 23 (5): 657-683 (2001)Allocation without Locking.. Softw. Pract. Exp., 19 (7): 703-705 (1989)Deriving efficient program transformations from rewrite rules., and . Proc. ACM Program. Lang., 5 (ICFP): 1-29 (2021)SAFKASI: a security mechanism for language-based systems., , and . ACM Trans. Softw. Eng. Methodol., 9 (4): 341-378 (2000)