Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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