- Publications
- Influence
Share This Author
Partial evaluation and automatic program generation
- N. Jones, C. K. Gomard, P. Sestoft
- Computer SciencePrentice Hall international series in computer…
- 1993
TLDR
Deriving a lazy abstract machine
- P. Sestoft
- Computer ScienceJournal of Functional Programming
- 1 May 1997
TLDR
An experiment in partial evaluation: the generation of a compiler generator
- N. Jones, P. Sestoft, H. Søndergaard
- Computer ScienceSIGP
- 1 August 1985
TLDR
Mix: A self-applicable partial evaluator for experiments in compiler generation
- N. Jones, P. Sestoft, H. Søndergaard
- Computer ScienceLISP Symb. Comput.
- 1 February 1989
TLDR
Programming with regions in the ML Kit
- M. Tofte, L. Birkedal, Peter Bertelsen
- Computer Science
- 1997
TLDR
Spreadsheet Implementation Technology: Basics and Extensions
- P. Sestoft
- Computer Science
- 5 September 2014
TLDR
Replacing function parameters by global variables
- P. Sestoft
- MathematicsFPCA
- 1 November 1989
Decidability and Undecidability Results for Duration Calculus
- C. Zhou, M. R. Hansen, P. Sestoft
- MathematicsSTACS
- 25 February 1993
The structure of a self-applicable partial evaluator
- P. Sestoft
- Mathematics, Computer SciencePrograms as Data Objects
- 17 October 1985
TLDR
Analysis and efficient implementation of functional programs
- P. Sestoft
- Computer Science
- 1991
TLDR
...
...