A Generic Account of Continuation-Passing Styles (1994)

Cached

Download Links

by John Hatcliff , Olivier Danvy
Venue:Proceedings of the Twenty-first Annual ACM Symposium on Principles of Programming Languages
Citations:87 - 34 self

Documents Related by Co-Citation

268 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
730 Notions of Computation and Monads – Eugenio Moggi - 1991
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
455 Comprehending Monads – Philip Wadler - 1992
620 Compiling with Continuations – Andrew W Appel - 1992
130 Representing Monads – Andrzej Filinski - 1994
299 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1305 Monads for functional programming – Philip Wadler - 1995
207 Type-directed partial evaluation – Olivier Danvy - 1996
60 A Reflection on Call-by-Value – Amr Sabry, Philip Wadler - 1996
220 Call-by-name, call-by-value, and the #-calculus – G Plotkin - 1975
110 The Discoveries of Continuations – John C. Reynolds - 1993
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
67 Continuation Semantics in Typed Lambda-Calculi – Albert R. Meyer, Mitchell Wand - 1985
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
199 Call-by-name, call-by-value and the λ-calculus – G Plotkin - 1975
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992