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:33 - 4 self

Active Bibliography

Continuations in Programming Practice: – unknown authors
18 Handling Control – Dorai Sitaram - 1993
Abstract – Zena M. Ariola, Hugo Herbelin, Daniel Keith, David Herman
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
260 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
33 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
136 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990