|
|
Languages, Performance
– unknown authors
|
|
|
Polymorphic Type Assignment and CPS Conversion
– Robert Harper Mark, Mark Lillibridge
- 1992
|
|
9
|
There and Back Again
– Olivier Danvy, Olivier Danvy, Mayer Goldberg, Mayer Goldberg, Mayer Goldberg
- 2001
|
|
|
This document in subdirectory RS/01/39 / There and Back Again ∗
– Olivier Danvy, Mayer Goldberg, Olivier Danvy, Mayer Goldberg, Olivier Danvy, Mayer Goldberg
- 2001
|
|
9
|
A realistic compiler generator based on high-level semantics
– Peter Lee, Uwe Pleban
- 1987
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
1
|
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
– Olivier Danvy
- 2008
|
|
13
|
Embedding Type Structure in Semantics
– Mitchell Wand
- 1985
|
|
|
On the Idempotence of the CPS Transformation
– Olivier Danvy, Karoline Malmkjær
- 1996
|
|
|
Languages, Performance
– Martin Gasbichler, Michael Sperber, Universität Tübingen
|
|
33
|
Polymorphic type assignment and CPS conversion
– Robert Harper, Mark Lillibridge
- 1993
|
|
9
|
Refunctionalization at Work
– Olivier Danvy, Kevin Millikin
- 2008
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
150
|
Reasoning about Programs in Continuation-Passing Style
– Amr Sabry Sabry, Matthias Felleisen
|
|
88
|
Typing First-Class Continuations in ML
– Robert Harper, Bruce F. Duba, David Macqueen
- 1992
|
|
9
|
First-Class Nonstandard Interpretations by Opening Closures
– Jeffrey Mark Siskind
- 2007
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
20
|
Definitional interpreters revisited
– John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans
- 1998
|
|
9
|
Three Steps for the CPS Transformation
– Olivier Danvy
- 1991
|
