Sound and Complete Axiomatisations of Call-By-Value Control Operators (1994)

Cached

Download Links

by Martin Hofmann , Mart I N Hofmann
Venue:Math. Structures Comput. Sci
Citations:18 - 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
15 A CPS-Translation of the λµ-Calculus – Philippe de Groote - 1994
12 Three Steps for the CPS Transformation – Olivier Danvy - 1991
Continuations, Functions and Jumps – Jon G. Riecke, Hayo Thielecke - 1999
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
88 Categorical Logic – Andrew M. Pitts - 1995
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
16 A Constructive Formalization of the Catch and Throw Mechanism – Hiroshi Nakano - 1992
13 About Translations of Classical Logic into Polarized Linear Logic – Olivier Laurent, Preuves Programmes Systemes, Laurent Regnier - 2003
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
35 Monads and Composable Continuations – Philip Wadler - 1993
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
10 Recursion from Iteration – Andrzej Filinski - 1994
Towards Compatible and Interderivable . . . Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
1 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines – Olivier Danvy - 2008
On the Idempotence of the CPS Transformation – Olivier Danvy, Karoline Malmkjær - 1996