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

Documents Related by Co-Citation

439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
328 An algorithmic interpretation of classical natural deduction – M Parigot - 1992
730 Notions of Computation and Monads – Eugenio Moggi - 1991
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
70 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
201 Call-by-name, call-by-value and the λ-calculus – G Plotkin, D - 1975
84 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
110 The Discoveries of Continuations – John C. Reynolds - 1993
37 Declarative continuations: an investigation of duality in programming language semantics – A Filinski - 1989
10 Recursion from Iteration – Andrzej Filinski - 1994
12 The Structure of Call-by-Value – Carsten Führmann - 2000
77 A Curry-Howard foundation for functional computation with control – C. -h. L. Ong, C. A. Stewart - 1997
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
33 A generalization of jumps and labels – Peter J. Landin - 1965