Æȷοì
Peter Sestoft
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Partial evaluation and automatic program generation
ND Jones, CK Gomard, P Sestoft
Peter Sestoft, 1993
22761993
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
4341989
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
3611985
Deriving a lazy abstract machine
P Sestoft
Journal of Functional Programming 7 (3), 231-264, 1997
2711997
Replacing function parameters by global variables
P Sestoft
Proceedings of the fourth international conference on Functional programming ¡¦, 1989
1601989
Decidability and undecidability results for duration calculus
Z Chaochen, MR Hansen, P Sestoft
Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993
1531993
Non-determinism in functional languages
H S©ªndergaard, P Sestoft
The Computer Journal 35 (5), 514-523, 1992
1301992
Referential transparency, definiteness and unfoldability
H S©ªndergaard, P Sestoft
Acta Informatica 27, 505-517, 1990
1301990
Analysis and E cient Implementation of Functional Programs
P Sestoft
PhD thesis, DIKU, University of Copenhagen, 1991
1071991
Abstract machines for programming language implementation
S Diehl, P Hartel, P Sestoft
Future Generation Computer Systems 16 (7), 739-751, 2000
1032000
The structure of a self-applicable partial evaluator
P Sestoft
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark ¡¦, 2005
922005
Automatic call unfolding in partial evaluator
P Sestoft
Partial Evaluation and Mixed Computation, 485-506, 1988
851988
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
782004
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: complexity, analysis, transformation, 420-435, 2002
622002
Semiautomated improvement of RNA alignments
ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ...
Rna 13 (11), 1850-1859, 2007
552007
ML pattern match compilation and partial evaluation
P Sestoft
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February ¡¦, 2005
532005
Programming with regions in the ML Kit
M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ...
DIKU Rapport 97, 12, 1997
521997
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
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20