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:258 - 36 self

Active Bibliography

134 On the Expressive Power of Programming Languages – - 1990
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – - 1994
32 Reasoning with Continuations II: Full Abstraction for Models of Control – - 1990
32 Extensible Denotational Language Specifications – - 1994
542 A Syntactic Approach to Type Soundness – - 1992
13 Reasoning about Functions with Effects – - 1997
32 A Syntactic Theory of Dynamic Binding – - 1997
235 A Formulae-as-Types Notion of Control – - 1990
Reasoning with Continuations III: A Complete Calculus of Control – - 1992
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – - 2008
81 Representing control: a study of the CPS transformation – - 1992
On the Orthogonality of Assignments and Procedures in Algol – - 1993
733 Notions of Computation and Monads – - 1991
9 Models for Persistence in Lazy Functional Programming Systems – - 1993
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – - 2008
20 Translating Core Facile – - 1995
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – - 2001
Type Theory for Programming Languages – - 1994
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – - 1998