Typing First-Class Continuations in ML (1992)

by Robert Harper , Bruce F. Duba , David Macqueen
Citations:93 - 14 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
Type Theory for Programming Languages – Robert Harper - 1994
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
7 Revisiting Coroutines – Ana Lucia de Moura, Roberto Ierusalimschy - 2004
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
Polymorphic Type Assignment and CPS Conversion – Robert Harper Mark, Mark Lillibridge - 1992
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
3 Calculi for Functional Programming Languages with Assignment – Daniel Eli Rabin, Daniel Eli Rabin - 1996