Continuation Semantics in Typed Lambda-Calculi (1985)

Cached

Download Links

by Albert R. Meyer , Mitchell Wand
Venue:Logics of Programs
Citations:69 - 1 self

Documents Related by Co-Citation

235 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
302 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
620 Compiling with Continuations – A W Appel - 1992
46 On the relation between direct and continuation semantics – J C Reynolds - 1974
35 Polymorphic type assignment and CPS conversion – Robert Harper, Mark Lillibridge - 1993
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
733 Notions of Computation and Monads – Eugenio Moggi - 1991
63 Extracting constructive content from classical proofs – Chetan Murthy - 1990
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
100 Lambda-Calculus Schemata – Michael J. Fischer - 1993
112 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
199 Call-by-name, call-by-value and the λ-calculus – G D Plotkin - 1975
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
130 Representing Monads – Andrzej Filinski - 1994
172 Call-by-Name, Call-by-Value and the lambda-Calculus – Gordon D Plotkin - 1975
51 Back to Direct Style II: First-Class Continuations – Olivier Danvy, Julia L. Lawall - 1996