A Library of High Level Control Operators (1993)

Cached

Download Links

by Christian Queinnec
Venue:Lisp Pointers, ACM SIGPLAN Special Interest Publ. on Lisp
Citations:13 - 0 self

Active Bibliography

11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
5 Value Transforming Style – Christian Queinnec - 1992
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
19 Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators – Luc Moreau, Christian Queinnec - 1994
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
3 A Rational Deconstruction of Landin’s J Operator – Olivier Danvy, Kevin Millikin - 2006
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
19 Metalevel Building Blocks for Modular Systems – Suresh Jagannathan - 1994
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
3 On some Functional Aspects of Control – Olivier Danvy - 1988
A Reflective System is as Extensible as its Internal Representations: An Illustration – John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman - 1992
First-class Interpreters: Illustrating the Limits Imposed by Representation in a Reflective Language – John Wiseman Simmons, II, John Wiseman, Simmons Ii, Daniel P. Friedman - 1993
7 Language Extension via First-class Interpreters – John Wiseman Simmons, II, Stanley Jefferson, Daniel P. Friedman - 1992