| 2006 |
|---|
| 22 | | Peter Sestoft:
Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
Springer 2006 |
| 2004 |
|---|
| 21 | | Nevin Heintze,
Peter Sestoft:
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004
ACM 2004 |
| 2002 |
|---|
| 20 | EE | Peter Sestoft:
Demonstrating Lambda Calculus Reduction.
The Essence of Computation 2002: 420-435 |
| 2001 |
|---|
| 19 | EE | Peter Sestoft:
Demonstrating Lambda Calculus Reduction.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 |
|---|
| 18 | EE | Stephan Diehl,
Pieter H. Hartel,
Peter Sestoft:
Abstract machines for programming language implementation.
Future Generation Comp. Syst. 16(7): 739-751 (2000) |
| 17 | EE | Stephan Diehl,
Pieter H. Hartel,
Peter Sestoft:
Principles of abstract machines.
Future Generation Comp. Syst. 16(7): (2000) |
| 1998 |
|---|
| 16 | | Neil D. Jones,
Carsten K. Gomard,
Peter Sestoft:
Partial Evaluation for the Lambda Calculus.
Partial Evaluation 1998: 203-220 |
| 1997 |
|---|
| 15 | | Peter Sestoft:
Deriving a Lazy Abstract Machine.
J. Funct. Program. 7(3): 231-264 (1997) |
| 1996 |
|---|
| 14 | | Peter Sestoft:
MK Pattern Match Compilation and Partial Evaluation.
Dagstuhl Seminar on Partial Evaluation 1996: 446-464 |
| 1993 |
|---|
| 13 | | Zhou Chaochen,
Michael R. Hansen,
Peter Sestoft:
Decidability and Undecidability Results for Duration Calculus.
STACS 1993: 58-68 |
| 1992 |
|---|
| 12 | | Carsten K. Gomard,
Peter Sestoft:
Path Analysis for Lazy Data Structures.
PLILP 1992: 54-68 |
| 11 | | Harald Søndergaard,
Peter Sestoft:
Non-Determinism in Functional Languages.
Comput. J. 35(5): 514-523 (1992) |
| 1991 |
|---|
| 10 | | Carsten K. Gomard,
Peter Sestoft:
Evaluation Order Analysis for Lazy Data Structures.
Functional Programming 1991: 112-127 |
| 9 | | Carsten K. Gomard,
Peter Sestoft:
Globalization and Live Variables.
PEPM 1991: 166-177 |
| 1989 |
|---|
| 8 | EE | Peter Sestoft:
Replacing Function Parameters by Global Variables.
FPCA 1989: 39-53 |
| 7 | | Harald Søndergaard,
Peter Sestoft:
Referential Transparency, Definiteness and Unfoldability.
Acta Inf. 27(6): 505-517 (1989) |
| 6 | | Neil D. Jones,
Peter Sestoft,
Harald Søndergaard:
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation.
Lisp and Symbolic Computation 2(1): 9-50 (1989) |
| 1988 |
|---|
| 5 | | Peter Sestoft,
Alexandre V. Zamulin:
Annotated Bibliography on Partial Evaluation and Mixed Computation.
New Generation Comput. 6(2&3): 309-354 (1988) |
| 4 | EE | Peter Sestoft,
Harald Søndergaard:
A bibliography on partial evaluation.
SIGPLAN Notices 23(2): 19-26 (1988) |
| 1987 |
|---|
| 3 | | Neil D. Jones,
Peter Sestoft,
Harald Søndergaard:
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract).
MFPS 1987: 386-413 |
| 1985 |
|---|
| 2 | | Peter Sestoft:
The structure of a self-applicable partial evaluator.
Programs as Data Objects 1985: 236-256 |
| 1 | | Neil D. Jones,
Peter Sestoft,
Harald Søndergaard:
An Experiment in Partial Evaluation: The Generation of a Compiler Generator.
RTA 1985: 124-140 |
