Handling Control (1993)

Cached

Download Links

by Dorai Sitaram
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:18 - 0 self

Documents Related by Co-Citation

150 The theory and practice of first-class prompts – M Felleisen - 1988
39 Control delimiters and their hierarchies – Dorai Sitaram, Matthias Felleisen - 1990
130 Representing Monads – Andrzej Filinski - 1994
30 A Dynamic Extent Control Operator for Partial Continuations – Christian Queinnec, Bernard Serpette, Ecole Polytechnique - 1991
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
48 Dybvig. Continuations and concurrency – R Hieb, R Kent - 1990
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
207 Type-directed partial evaluation – Olivier Danvy - 1996
13 A Library of High Level Control Operators – Christian Queinnec - 1993
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
9 An Implementation of Transparent Migration on Standard Scheme – Eijiro Sumii - 2000
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003