|
25
|
From interpreting to compiling binding times
– Charles Consel, Olivier Danvy
- 1990
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
58
|
For a Better Support of Static Data Flow
– Charles Consel, Olivier Danvy
|
|
|
Program and Data Specialization Priciples, . . .
– Karoline Malmkjær
- 1989
|
|
52
|
Lightweight Run-Time Code Generation
– Mark Leone, Peter Lee
- 1994
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
10
|
Compiling Monads
– Olivier Danvy, Jürgen Koslowski, Karoline Malmkjær, Karoline Malmkjaer
- 1991
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
69
|
Representing control: a study of the CPS transformation
– Olivier Danvy, Andrzej Filinski
- 1992
|
|
1
|
Computing Types During Partial Evaluation
– Daniel Weise, Erik Ruf
- 1990
|
|
1
|
Partial Evaluation and the Generation of Program Generators
– Neil D. Jones
- 1993
|
|
11
|
Compiler Generation for Interactive Graphics using Intermediate Code
– Scott Draves
- 1996
|
|
12
|
On the Specialization of Online Program Specializers
– Erik Ruf, Daniel Weise
- 1992
|
|
32
|
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
– Olivier Danvy, Ulrik P. Schultz
- 2001
|
|
14
|
Dynamic Optimization through the use of Automatic Runtime Specialization
– John Whaley
- 1999
|
|
11
|
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs
– J. Michael Ashley, Charles Consel
- 1994
|
|
7
|
From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation
– René Vestergaard
- 1997
|
|
1
|
Partial Evaluation: Principles and Perspectives
– Charles Consel, Olivier Danvy
- 1993
|
|
12
|
Generating Action Compilers by Partial Evaluation
– Anders Bondorf, Jens Palsberg
- 1996
|
