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

Type-Directed Flow Analysis for Typed Intermediate Languages., , and . SAS, volume 1302 of Lecture Notes in Computer Science, page 232-249. Springer, (1997)Whole-program compilation in MLton.. ML, page 1. ACM, (2006)Caml trading - experiences with functional programming on Wall Street., and . J. Funct. Program., 18 (4): 553-564 (2008)Flow-Directed Closure Conversion for Typed Languages., , and . ESOP, volume 1782 of Lecture Notes in Computer Science, page 56-71. Springer, (2000)Analyzing Stores and References in a Parallel Symbolic Language., and . LISP and Functional Programming, page 294-305. ACM, (1994)Models and Languages for Digital Rights., , and . HICSS, IEEE Computer Society, (2001)A Unified Treatment of Flow Analysis in Higher-Order Languages., and . POPL, page 393-407. ACM Press, (1995)Contification Using Dominators., and . ICFP, page 2-13. ACM, (2001)SIGPLAN Notices 36(10), October 2001.Understanding Trust Management Systems.. S&P, page 94-105. IEEE Computer Society, (2001)On the Orthogonality of Assignments and Procedures in Algol., and . POPL, page 57-70. ACM Press, (1993)