Formalizing Implementation Strategies for First-Class Continuations (2000)

by O. Danvy , Olivier Danvy
Venue:in [31
Citations:21 - 5 self

Documents Related by Co-Citation

105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
625 Compiling with Continuations – A Appel - 1992
24 Implementation strategies for first-class continuations – William D. Clinger, Anne H. Hartheimer, Eric M. Ost - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
45 Representing Control in the Presence of One-Shot Continuations – Carl Bruggeman, Oscar Waddell, R. Kent Dybvig - 1996
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
199 Call-by-name, call-by-value, and the λ-calculus – G D Plotkin - 1975