|
2
|
Return Types for Functional Continuations
– Carl A. Gunter, Didier Rémy, Jon G. Riecke
- 1998
|
|
10
|
A Monadic Framework for Delimited Continuations
– R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
13
|
An Operational Foundation for Delimited Continuations
– Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
- 2003
|
|
65
|
Explicit Polymorphism and CPS Conversion
– Robert Harper , Mark Lillibridge
- 1992
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
17
|
Handling Control
– Dorai Sitaram
- 1993
|
|
103
|
A Practical Soft Type System for Scheme
– Andrew K. Wright, Robert Cartwright
- 1993
|
|
28
|
Polymorphism for Imperative Languages without Imperative Types
– Andrew Wright
- 1993
|
|
89
|
Simple Imperative Polymorphism
– Andrew Wright
- 1995
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
26
|
A Syntactic Theory of Dynamic Binding
– Luc Moreau
- 1997
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
29
|
Reasoning with Continuations II: Full Abstraction for Models of Control
– Dorai Sitaram, Matthias Felleisen
- 1990
|
|
8
|
Polymorphic Delimited Continuations
– Kenichi Asai, Yukiyoshi Kameyama
- 2007
|
|
67
|
A Curry-Howard foundation for functional computation with control
– C. -h. L. Ong, C. A. Stewart
- 1997
|
|
|
Representing Control in Parallel Applicative Programming
– Chi Yao
- 1994
|
|
29
|
Polymorphism by name for references and continuations
– Xavier Leroy
- 1993
|
