Author of the publication

Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003

, and (Eds.) ACM, (2003)

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

Callee-Save Registers in Continuation-Passing Style., and . LISP Symb. Comput., 5 (3): 191-221 (1992)Layered and object-based game semantics., , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-32 (2022)Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation., , , , , , and . Proc. ACM Program. Lang., 4 (POPL): 20:1-20:31 (2020)Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Safe and Principled Language Interoperation., and . ESOP, volume 1576 of Lecture Notes in Computer Science, page 128-146. Springer, (1999)Modular verification of concurrent assembly code with dynamic thread creation and termination., and . ICFP, page 254-267. ACM, (2005)Flexible Representation Analysis.. ICFP, page 85-98. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Representing Java Classes in a Typed Intermediate Language., , and . ICFP, page 183-196. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Space-Efficient Closure Representations., and . LISP and Functional Programming, page 150-161. ACM, (1994)Building certified concurrent OS kernels., , , , , , , and . Commun. ACM, 62 (10): 89-99 (2019)