A Formulae-as-Types Notion of Control (1990)

Cached

Download Links

by Timothy G. Griffin
Venue:In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages
Citations:238 - 0 self

Active Bibliography

Type Theory for Programming Languages – Robert Harper - 1994
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
10 Recursion from Iteration – Andrzej Filinski - 1994
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
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
11 Types as graphs: Continuations in type logical grammar – Chris Barker, Chung-chieh Shan - 2005
DOI: 10.1007/s10849-006-0541-6 Types as Graphs: Continuations in Type Logical – unknown authors - 2004
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997