Reasoning with Continuations II: Full Abstraction for Models of Control (1990)

by Dorai Sitaram , Matthias Felleisen
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming
Citations:32 - 4 self

Active Bibliography

18 Handling Control – Dorai Sitaram - 1993
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
Representing Control in Parallel Applicative Programming – Chi Yao - 1994
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
Subcontinuations – Robert Hieb, R. Kent Dybvig, Claude W. Anderson - 1993
8 Threads Yield Continuations – Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig - 1997
13 A Library of High Level Control Operators – Christian Queinnec - 1993
7 Revisiting Coroutines – Ana Lucia de Moura, Roberto Ierusalimschy - 2004
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – MaƂgorzata Biernacka, Olivier Danvy - 2005
19 On the Dynamic Extent of Delimited Continuations – Dariusz Biernacki, Olivier Danvy - 2005
8 Models of Control and Their Implications for Programming Language Design – Dorai Sitaram - 1994