Folgen
Peter Sestoft
Titel
Zitiert von
Zitiert von
Jahr
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
23021993
An experiment in partial evaluation: the generation of a compiler generator
ND Jones, P Sestoft, H Søndergaard
ACM SIGPLAN Notices 20 (8), 82-87, 1985
3621985
Mix: a self-applicable partial evaluator for experiments in compiler generation
ND Jones, P Sestoft, H Søndergaard
Lisp and Symbolic computation 2, 9-50, 1989
3421989
Deriving a lazy abstract machine
P Sestoft
Journal of Functional Programming 7 (3), 231-264, 1997
2811997
Replacing function parameters by global variables
P Sestoft
Proceedings of the fourth international conference on Functional programming …, 1989
1631989
Decidability and undecidability results for duration calculus
Z Chaochen, MR Hansen, P Sestoft
Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993
1561993
Referential transparency, definiteness and unfoldability
H Søndergaard, P Sestoft
Acta Informatica 27, 505-517, 1990
1341990
Non-determinism in functional languages
H Søndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1331992
Abstract machines for programming language implementation
S Diehl, P Hartel, P Sestoft
Future Generation Computer Systems 16 (7), 739-751, 2000
1062000
Analysis and E cient Implementation of Functional Programs
P Sestoft
PhD thesis, DIKU, University of Copenhagen, 1991
1061991
The structure of a self-applicable partial evaluator
P Sestoft
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005
932005
Automatic call unfolding in partial evaluator
P Sestoft
Partial Evaluation and Mixed Computation, 485-506, 1988
821988
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
802004
Demonstrating lambda calculus reduction
P Sestoft
The essence of computation: complexity, analysis, transformation, 420-435, 2002
642002
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
ML pattern match compilation and partial evaluation
P Sestoft
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005
592005
Semiautomated improvement of RNA alignments
ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ...
Rna 13 (11), 1850-1859, 2007
542007
Programming with regions in the ML Kit
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
DIKU Rapport 97, 12, 1997
531997
Java precisely
P Sestoft
Mit Press, 2016
512016
Annotated bibliography on partial evaluation and mixed computation
P Sestoft, AV Zamulin
New Generation Computing 6 (2&3), 309-354, 1988
411988
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20