Peter Sestoft
TitleCited byYear
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
20391993
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
3671989
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
3261985
Deriving a lazy abstract machine
P Sestoft
Journal of Functional Programming 7 (3), 231-264, 1997
2421997
Hybrid systems IV
P Antsaklis, W Kohn, A Nerode, S Sastry
Conference proceedings HS, 63, 1996
179*1996
Replacing function parameters by global variables
P Sestoft
FPCA 89 (4), 39-53, 1989
1461989
Decidability and undecidability results for duration calculus
Z Chaochen, MR Hansen, P Sestoft
Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993
1421993
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1121992
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27 (6), 505-517, 1990
1121990
Analysis and E cient Implementation of Functional Programs
P Sestoft
PhD thesis, DIKU, University of Copenhagen, 1991
951991
The structure of a self-applicable partial evaluator
P Sestoft
Programs as Data Objects, 236-256, 1986
781986
Abstract machines for programming language implementation
S Diehl, P Hartel, P Sestoft
Future Generation Computer Systems 16 (7), 739-751, 2000
772000
Automatic call unfolding in a partial evaluator
P Sestoft
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
761988
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
632004
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
592001
Demonstrating lambda calculus reduction
P Sestoft
The essence of computation, 420-435, 2002
492002
Programming with regions in the ML Kit
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
DIKU Rapport 97, 12, 1997
481997
Semiautomated improvement of RNA alignments
ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ...
Rna 13 (11), 1850-1859, 2007
472007
Java precisely
P Sestoft
Mit Press, 2016
442016
ML pattern match compilation and partial evaluation
P Sestoft
Partial Evaluation, 446-464, 1996
351996
The system can't perform the operation now. Try again later.
Articles 1–20