CiteSeer.IST Home
Active bibliography:
The Essence of Compiling with Continuations - Flanagan, Sabry, Duba, Felleisen (1993)
(Correct)
Active bibliography (related documents):
All related documents
0.3
:
The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994)
(Correct)
0.3
:
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994)
(Correct)
0.2
:
Reasoning about Programs in Continuation-Passing Style - Sabry, Felleisen
(Correct)
0.0
:
Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993)
(Correct)
0.0
:
Sound Specialization in the Presence of Computational Effects - Lawall, Thiemann (1997)
(Correct)
0.0
:
A Generic Framework for Specialization (Abridged Version) - Thiemann
(Correct)
0.0
:
Thunks (continued) - Danvy, Hatcliff (1992)
(Correct)
0.0
:
Representing control: a study of the CPS transformation - Danvy, Filinski (1992)
(Correct)
0.0
:
CPS Transformation after Strictness Analysis - Danvy, Hatcliff (1993)
(Correct)
0.0
:
Three Steps for the CPS Transformation - Danvy (1991)
(Correct)
0.0
:
Representing Control: A Study of the CPS Transformation - Danvy, Filinski (1992)
(Correct)
0.0
:
A Systematic Study of Functional Language Implementations - Douence, Fradet (1998)
(Correct)
0.0
:
A Taxonomy of Functional Language Implementations Part I.. - Douence, Fradet (1996)
(Correct)
0.0
:
Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1992)
(Correct)
0.0
:
Continuations and Semantics - Wilson (1993)
(Correct)
0.0
:
A Curry-Howard Isomorphism for Compilation and Program Execution.. - Ohori (1999)
(Correct)
0.0
:
On the Transformation between Direct and Continuation Semantics - Danvy, Hatcliff (1993)
(Correct)
0.0
:
Igor Siveroni Advisor: Prof. Mitchell Wand March 19, 1997 - Nd Mar Ch
(Correct)
0.0
:
Compiler Correctness for Concurrent Languages - Gladstein, Wand (1994)
(Correct)
0.0
:
A Verified Compiler for VLISP PreScheme - Oliva, Ramsdell, Wand (1993)
(Correct)
CiteSeer.IST - Copyright
Penn State
and
NEC