Peter Sestoft
Title
Cited by
Cited by
Year
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
20431993
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
3611989
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
3301985
Deriving a lazy abstract machine
P Sestoft
Journal of Functional Programming 7 (3), 231-264, 1997
2451997
Hybrid systems IV
P Antsaklis, W Kohn, A Nerode, S Sastry
Conference proceedings HS, 63, 1996
183*1996
Replacing function parameters by global variables
P Sestoft
Proceedings of the fourth international conference on Functional programming …, 1989
1481989
Decidability and undecidability results for duration calculus
Z Chaochen, MR Hansen, P Sestoft
Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993
1361993
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1141992
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27 (6), 505-517, 1990
1141990
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
831986
Automatic call unfolding in a partial evaluator
P Sestoft
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
781988
Abstract machines for programming language implementation
S Diehl, P Hartel, P Sestoft
Future Generation Computer Systems 16 (7), 739-751, 2000
752000
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
612001
Semiautomated improvement of RNA alignments
ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ...
Rna 13 (11), 1850-1859, 2007
492007
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
491997
Java precisely
P Sestoft
Mit Press, 2016
442016
ML pattern match compilation and partial evaluation
P Sestoft
Partial Evaluation, 446-464, 1996
361996
The system can't perform the operation now. Try again later.
Articles 1–20