A Syntactic Theory of Dynamic Binding (1997)

Cached

Download Links

by Luc Moreau
Venue:Higher-Order and Symbolic Computation
Citations:32 - 1 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
1 A Parallel Functional Language With First-Class Continuations. Programming Style and Semantics – Luc Moreau
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996
42 Proof Theoretic Approach To Specification Languages – Jawahar Lal Chirimar - 1995
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
18 The Semantics of Scheme with Future – Luc Moreau - 1996
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
10 Recursion from Iteration – Andrzej Filinski - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 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
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990