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

The essence of compiling with continuations (with retrospective), , , and . Best of PLDI, page 502-514. ACM, (1993)A Syntactic Theory of Sequential Control., , , and . Theor. Comput. Sci., (1987)Abstract Continuations: A Mathematical Semantics for Handling Full Jumps., , , and . LISP and Functional Programming, page 52-62. ACM, (1988)Call-by-Value Combinatory Logic and the Lambda-Value Calculus., and . MFPS, volume 598 of Lecture Notes in Computer Science, page 41-53. Springer, (1991)From Macros to Reusable Generative Programming., , and . GCSE, volume 1799 of Lecture Notes in Computer Science, page 105-120. Springer, (1999)Hygienic Macro Expansion., , , and . LISP and Functional Programming, page 151-161. ACM, (1986)The Essence of Compiling with Continuations., , , and . PLDI, page 237-247. ACM, (1993)Reasoning with Continuations, , , and . LICS, page 131-141. IEEE Computer Society, (1986)Typing First-Class Continuations in ML., , and . J. Funct. Program., 3 (4): 465-484 (1993)Typing First-Class Continuations in ML., , and . POPL, page 163-173. ACM Press, (1991)