Polymorphic type assignment and CPS conversion (1993)

by Robert Harper , Mark Lillibridge
Venue:LISP and Symbolic Computation
Citations:36 - 10 self

Documents Related by Co-Citation

625 Compiling with Continuations – A Appel - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
237 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
734 Notions of Computation and Monads – Eugenio Moggi - 1991
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
220 Call-by-name, call-by-value and the #-calculus – G D Plotkin - 1975