Abstracting Control (1990)

Cached

Download Links

by Olivier Danvy , Andrzej Filinski
Venue:In Proceedings of the 1990 ACM Conference on LISP and Functional Programming
Citations:94 - 6 self

Active Bibliography

3 On some Functional Aspects of Control – Olivier Danvy - 1988
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
13 A Library of High Level Control Operators – Christian Queinnec - 1993
29 Declarative Continuations and Categorical Duality – Andrzej Filinski - 1989
27 A rational deconstruction of Landin’s SECD machine – Olivier Danvy, Kevin Millikin - 2004
110 The Discoveries of Continuations – John C. Reynolds - 1993
31 Delimited Dynamic Binding – Oleg Kiselyov, Chung-chieh Shan , Amr Sabry - 2006
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
30 A Dynamic Extent Control Operator for Partial Continuations – Christian Queinnec, Bernard Serpette, Ecole Polytechnique - 1991
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
2 Towards Leakage Containment – Julia L. Lawall, Daniel P. Friedman - 1992
A Blond Primer – Olivier Danvy, Karoline Malmkjær, Karoline Malmkjær - 1988
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
19 Partial Continuations as the Difference of Continuations, A Duumvirate of Control Operators – Luc Moreau, Christian Queinnec - 1994
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
Lisp - Almost a whole Truth! – Christian Queinnec - 1989