|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
10
|
An Introduction to Reflection-Oriented Programming
– J.M. Sobel, Daniel P. Friedman
- 1996
|
|
4
|
A Computational Formalization for Partial Evaluation (Extended Version)
– John Hatcliff, Olivier Danvy
- 1996
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
13
|
An Operational Foundation for Delimited Continuations
– Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
- 2003
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
5
|
Pragmatic Aspects of Type-Directed Partial Evaluation
– Olivier Danvy
- 1996
|
|
9
|
Axioms for Recursion in Call-by-Value
– Masahito Hasegawa, Yoshihiko Kakutani
|
|
11
|
A Library of High Level Control Operators
– Christian Queinnec
- 1993
|
|
2
|
Language Support for Program Generation: Reasoning, Implementation, and Applications
– Zhe Yang, Olivier Danvy, Benjamin Goldberg
- 2001
|
|
|
Première partie
– unknown authors
|
|
2
|
A program logic for higher-order procedural variables . . . .
– T. Crolard, et al.
- 2009
|
|
79
|
A Generic Account of Continuation-Passing Styles
– John Hatcliff, Olivier Danvy
- 1994
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
