A Generalization of Exceptions and Control in ML-like Languages (1995)

by Carl A. Gunter , Didier Rémy , Jon G. Riecke
Venue:IN PROC. FPCA
Citations:61 - 0 self

Active Bibliography

2 Return Types for Functional Continuations – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1998
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
13 A Library of High Level Control Operators – Christian Queinnec - 1993
18 Handling Control – Dorai Sitaram - 1993
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
92 Simple Imperative Polymorphism – Andrew Wright - 1995
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
19 Polymorphic Delimited Continuations – Kenichi Asai, Yukiyoshi Kameyama - 2007
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
77 A Curry-Howard foundation for functional computation with control – C. -h. L. Ong, C. A. Stewart - 1997
Representing Control in Parallel Applicative Programming – Chi Yao - 1994
31 Polymorphism by name for references and continuations – Xavier Leroy - 1993