The Revised Report on the Syntactic Theories of Sequential Control and State (1992)

by Matthias Felleisen , Matthias Felleisen , Robert Hieb , Robert Hieb
Venue:Theoretical Computer Science
Citations:255 - 36 self

Active Bibliography

132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
On the Orthogonality of Assignments and Procedures in Algol – Stephen Weeks Matthias, Matthias Felleisen - 1993
730 Notions of Computation and Monads – Eugenio Moggi - 1991
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
20 Translating Core Facile – Roberto M. Amadio - 1995
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
Type Theory for Programming Languages – Robert Harper - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998