|
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
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
57
|
The origins of structural operational semantics
– Gordon D. Plotkin
- 2004
|
|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
69
|
Continuation-Based Multiprocessing
– Mitchell Wand
- 1980
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
7
|
Abstract Models of Storage
– Robert D. Tennent, Dan R. Ghica
- 2000
|
|
|
J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using . . .
– Olivier Danvy, Chung-Chieh Shan, Ian Zerny
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
91
|
Lambda-Calculus Schemata
– Michael J. Fischer
- 1993
|
|
33
|
Relational interpretations of recursive types in an operational setting
– Lars Birkedal, Robert Harper
- 1997
|
|
3
|
Linear Continuation-Passing
– Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke
- 2002
|
|
1
|
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
– Olivier Danvy
- 2008
|
