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

445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
321 Lambda-mu-calculus: An algorithmic interpretation of classical natural deduction – M Parigot - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
71 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
199 Call-by-name, call-by-value, and the λ-calculus – G D Plotkin - 1975
100 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
625 Compiling with Continuations – A Appel - 1992
237 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990