Peter Sestoft
TitleCited byYear
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
Mix: a self-applicable partial evaluator for experiments in compiler generation
ND Jones, P Sestoft, H Søndergaard
Lisp and Symbolic computation 2 (1), 9-50, 1989
An experiment in partial evaluation: the generation of a compiler generator
ND Jones, P Sestoft, H Søndergaard
International Conference on Rewriting Techniques and Applications, 124-140, 1985
Deriving a lazy abstract machine
P Sestoft
Journal of Functional Programming 7 (3), 231-264, 1997
Hybrid systems IV
P Antsaklis, W Kohn, A Nerode, S Sastry
Conference proceedings HS, 63, 1996
Replacing function parameters by global variables
P Sestoft
FPCA 89 (4), 39-53, 1989
Decidability and undecidability results for duration calculus
Z Chaochen, MR Hansen, P Sestoft
Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27 (6), 505-517, 1990
Analysis and E cient Implementation of Functional Programs
P Sestoft
PhD thesis, DIKU, University of Copenhagen, 1991
The structure of a self-applicable partial evaluator
P Sestoft
Programs as Data Objects, 236-256, 1986
Abstract machines for programming language implementation
S Diehl, P Hartel, P Sestoft
Future Generation Computer Systems 16 (7), 739-751, 2000
Automatic call unfolding in a partial evaluator
P Sestoft
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
Modeling the kinetics of the competitive adsorption and desorption of glyphosate and phosphate on goethite and gibbsite and in soils
AL Gimsing, OK Borggaard, P Sestoft
Environmental science & technology 38 (6), 1718-1722, 2004
Programming with regions in the ML Kit (for version 4)
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
Technical report, IT University of Copenhagen, 2001
Demonstrating lambda calculus reduction
P Sestoft
The essence of computation, 420-435, 2002
Programming with regions in the ML Kit
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
DIKU Rapport 97, 12, 1997
Semiautomated improvement of RNA alignments
ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ...
Rna 13 (11), 1850-1859, 2007
Java precisely
P Sestoft
Mit Press, 2016
ML pattern match compilation and partial evaluation
P Sestoft
Partial Evaluation, 446-464, 1996
The system can't perform the operation now. Try again later.
Articles 1–20