Peter Sestoft
Title
Cited by
Cited by
Year
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
21521993
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
3491985
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
3221989
Deriving a lazy abstract machine
P Sestoft
Journal of Functional Programming 7 (3), 231-264, 1997
2551997
Hybrid systems IV
P Antsaklis, W Kohn, A Nerode, S Sastry
Conference proceedings HS, 147, 1996
197*1996
Replacing function parameters by global variables
P Sestoft
Proceedings of the fourth international conference on Functional programming …, 1989
1541989
Decidability and undecidability results for duration calculus
Z Chaochen, MR Hansen, P Sestoft
Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993
1401993
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1201992
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27 (6), 505-517, 1990
1201990
Analysis and E cient Implementation of Functional Programs
P Sestoft
PhD thesis, DIKU, University of Copenhagen, 1991
1021991
The structure of a self-applicable partial evaluator
P Sestoft
Programs as Data Objects, 236-256, 1986
921986
Abstract machines for programming language implementation
S Diehl, P Hartel, P Sestoft
Future Generation Computer Systems 16 (7), 739-751, 2000
832000
Automatic call unfolding in partial evaluator
P Sestoft
Partial Evaluation and Mixed Computation, 485-506, 1988
831988
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
692004
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
642001
Demonstrating lambda calculus reduction
P Sestoft
The essence of computation, 420-435, 2002
562002
Semiautomated improvement of RNA alignments
ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ...
Rna 13 (11), 1850-1859, 2007
512007
Programming with regions in the ML Kit
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
DIKU Rapport 97, 12, 1997
511997
Java precisely
P Sestoft
Mit Press, 2016
452016
ML pattern match compilation and partial evaluation
P Sestoft
Partial Evaluation, 446-464, 1996
411996
The system can't perform the operation now. Try again later.
Articles 1–20