Reasoning about Programs in Continuation-Passing Style (0)

by Amr Sabry Sabry , Matthias Felleisen
Venue:Lisp and Symbolic Computation
Citations:161 - 13 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
13 A Library of High Level Control Operators – Christian Queinnec - 1993
3 Calculi for Functional Programming Languages with Assignment – Daniel Eli Rabin, Daniel Eli Rabin - 1996
5 Sound Rules for Parallel Evaluation of a Functional Language with callcc – Luc Moreau, Daniel Ribbens - 1993
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
10 Online Partial Evaluation for Shift and Reset – Kenichi Asai - 2002
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
Languages, Theory – Tiark Rompf, Ingo Maier, Martin Odersky
Type Theory for Programming Languages – Robert Harper - 1994
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003