The structure of a self-applicable partial evaluator. - Peter Sestoft (Programs as Data Objects, 1985)

An experiment in partial evaluation: the generation of a compiler generator. - Neil D. Jones; Peter Sestoft; Harald Søndergaard (ACM SIGPLAN Notices, 1985)

MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). - Neil D. Jones; Peter Sestoft; Harald Søndergaard (MFPS, 1987)

Annotated Bibliography on Partial Evaluation and Mixed Computation. - Peter Sestoft; Alexandre V. Zamulin (New Gener. Comput., 1988)

A bibliography on partial evaluation. - Peter Sestoft; Harald Søndergaard (ACM SIGPLAN Notices, 1988)

Replacing Function Parameters by Global Variables. - Peter Sestoft (FPCA, 1989)

Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. - Neil D. Jones; Peter Sestoft; Harald Søndergaard (LISP Symb. Comput., 1989)

Referential Transparency, Definiteness and Unfoldability. - Harald Søndergaard; Peter Sestoft (Acta Informatica, 1990)

Evaluation Order Analysis for Lazy Data Structures. - Carsten K. Gomard; Peter Sestoft (Functional Programming, 1991)

Globalization and Live Variables. - Carsten K. Gomard; Peter Sestoft (PEPM, 1991)

Path Analysis for Lazy Data Structures. - Carsten K. Gomard; Peter Sestoft (PLILP, 1992)

Non-Determinism in Functional Languages. - Harald Søndergaard; Peter Sestoft (Comput. J., 1992)

Partial evaluation and automatic program generation. - Neil D. Jones; Carsten K. Gomard; Peter Sestoft (Prentice Hall, 1993)

Decidability and Undecidability Results for Duration Calculus. - Zhou Chaochen; Michael R. Hansen; Peter Sestoft (STACS, 1993)

MK Pattern Match Compilation and Partial Evaluation. - Peter Sestoft (Dagstuhl Seminar on Partial Evaluation, 1996)

Deriving a Lazy Abstract Machine. - Peter Sestoft (J. Funct. Program., 1997)

Partial Evaluation for the Lambda Calculus. - Neil D. Jones; Carsten K. Gomard; Peter Sestoft (Partial Evaluation, 1998)

Principles of abstract machines. - Stephan Diehl 001; Pieter H. Hartel; Peter Sestoft (Future Gener. Comput. Syst., 2000)

Abstract machines for programming language implementation. - Stephan Diehl 001; Pieter H. Hartel; Peter Sestoft (Future Gener. Comput. Syst., 2000)

Demonstrating Lambda Calculus Reduction. - Peter Sestoft (MFPS, 2001)

C# precisely. - Peter Sestoft; Henrik I. Hansen (AAAI Press, 2004)

Java Precisely (2. ed.). - Peter Sestoft (MIT Press, 2005)

C# annotated standard. - Jon Jagger; Nigel Perry; Peter Sestoft (Morgan Kaufmann, 2007)

Zero-Overhead Composable Aspects for .NET. - Rasmus Johansen; Peter Sestoft; Stephan Spangenberg (Lipari Summer School, 2007)

Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution. - Peter Sestoft; Sebastien Vaucouleur (Lipari Summer School, 2007)

Flow Analysis of Code Customizations. - Anders Hessellund; Peter Sestoft (ECOOP, 2008)

Implementing function spreadsheets. - Peter Sestoft (WEUSE@ICSE, 2008)

Editorial. - Julia Lawall; Michael Leuschel; Peter Sestoft (High. Order Symb. Comput., 2008)

Programming language concepts for software developers. - Peter Sestoft (ACM SIGPLAN Notices, 2008)

Modular Verification of Linked Lists with Views via Separation Logic. - Jonas Braband Jensen; Lars Birkedal; Peter Sestoft (J. Object Technol., 2011)

Programming Language Concepts. - Peter Sestoft (Springer, 2012)

Formalized Verification of Snapshotable Trees: Separation and Sharing. - Hannes Mehnert; Filip Sieczkowski; Lars Birkedal; Peter Sestoft (VSTTE, 2012)

Sheet-Defined Functions: Implementation and Initial Evaluation. - Peter Sestoft; Jens Zeilund Sørensen (IS-EUD, 2013)

Online partial evaluation of sheet-defined functions. - Peter Sestoft (Festschrift for Dave Schmidt, 2013)

Early Nordic Compilers and Autocodes. - Peter Sestoft (History of Nordic Computing, 2014)

Pension reserve computations on GPUs. - Christian Harrington; Nicolai Dahl; Peter Sestoft; David Raymond Christiansen (FHPC@ICFP, 2014)

2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). - Felienne Hermans; Richard F. Paige; Peter Sestoft (ICSE (2), 2015)

Quad Ropes: immutable, declarative arrays with parallelizable operations. - Florian Biermann; Peter Sestoft (ARRAY@PLDI, 2017)

Programming Language Concepts, Second Edition - Peter Sestoft (Springer, 2017)

Programming Language Specification and Implementation. - Peter Sestoft (ISoLA (1), 2018)

Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. - Florian Biermann; Wensheng Dou; Peter Sestoft (PADL, 2018)

On the semantics for spreadsheets with sheet-defined functions. - Alexander Asp Bock; Thomas Bøgholm; Peter Sestoft; Bent Thomsen; Lone Leth Thomsen (J. Comput. Lang., 2020)

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. - Holger Stadel Borum; Henning Niss; Peter Sestoft (MoDELS, 2021)

Co-designing DSL quality assurance measures for and with non-programming experts. - Holger Stadel Borum; Christoph Seidl 001; Peter Sestoft (DSM@SPLASH, 2021)

On the cost semantics for spreadsheets with sheet-defined functions. - Alexander Asp Bock; Thomas Bøgholm; Peter Sestoft; Bent Thomsen; Lone Leth Thomsen (J. Comput. Lang., 2022)

The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). - Peter Sestoft; Harald Søndergaard (PEPM, 2024)