|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
114
|
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types
– Anders Bondorf, Olivier Danvy
- 1990
|
|
54
|
Efficient Multi-level Generating Extensions for Program Specialization
– Robert Glück, Jesper Jørgensen
- 1995
|
|
77
|
A temporal-logic approach to binding-time analysis
– Rowan Davies
- 1996
|
|
42
|
Partial evaluation of Standard ML
– Lars Birkedal, Morten Welinder
- 1993
|
|
44
|
and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts
– Flemming Nielson
- 1992
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
172
|
Logic Programming in the LF Logical Framework
– Frank Pfenning
- 1991
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
28
|
A Computational Interpretation of Modal Proofs
– Simone Martini, Andrea Masini
- 1994
|
|
90
|
A simple applicative language: Mini-ml
– Dominique Clément, Joëlle Despeyroux, Thierry Despeyroux, Gilles Kahn
- 1986
|
|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
15
|
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
– Anders Bondorf, Dirk Dussart
- 1994
|
|
17
|
Correctness of Binding-time Analysis
– Jens Palsberg
- 1993
|
|
33
|
A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics
– C K Gomard
- 1992
|
|
151
|
Refinement types for ML
– Tim Freeman
- 1994
|
|
86
|
Efficient Type Inference for Higher-Order Binding-Time Analysis
– Fritz Henglein
- 1991
|
