P. Sestoft

发表

Partial evaluation and automatic program generation

Peter Sestoft, Neil D. Jones, Carsten K. Gomard, 1993, Prentice Hall international series in computer science.

An Actuarial Programming Language for Life Insurance and Pensions

P. Sestoft, H. Niss, D. Christiansen, 2013 .

On Causal Explanations in Bayesian Networks

A. Elisseeff, P. Sestoft, U. Nielsen, 2007 .

Compiling Spreadsheet-Defined Functions

P. Sestoft, 2010 .

End-user development via sheet-defined functions

P. Sestoft, Jonas Druedahl Rask, Simon Eikeland Timmermann, 2014 .

Principles of abstract machines

Pieter H. Hartel, Stephan Diehl, Peter Sestoft, 2000, Future Gener. Comput. Syst..

Organizing research data

P. Sestoft, 2011, Acta veterinaria Scandinavica.

Higher-Order Functions

P. Sestoft, 2012 .

Writing Reports

P. Sestoft, 2020, Conducting Psychological Assessment.

Replacing function parameters by global variables

Peter Sestoft, P. Sestoft, 1989, FPCA.

An experiment in partial evaluation: the generation of a compiler generator

Peter Sestoft, Neil D. Jones, Harald Søndergaard, 1985, SIGP.

Monte Carlo Simulations of PAC-Spectra as a General Approach to Dynamic Interactions

P. Sestoft, E. Danielsen, Lars Elkjær Jørgensen, 2002 .

Modular verification of linked lists with views via separation logic

Lars Birkedal, Peter Sestoft, Jonas Braband Jensen, 2010, J. Object Technol..

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004

Peter Sestoft, Nevin Heintze, P. Sestoft, 2004, PEPM.

Modeling the kinetics of the competitive adsorption and desorption of glyphosate and phosphate on goethite and gibbsite and in soils.

P. Sestoft, O. Borggaard, A. L. Gimsing, 2004, Environmental science & technology.

The C5 Generic Collection Library for C# and CLI

Peter Sestoft, P. Sestoft, Niels Jørgen Kokholm, 2006 .

From Concrete Syntax to Abstract Syntax

Peter Sestoft, P. Sestoft, 2012 .

Programming language concepts for software developers

Peter Sestoft, P. Sestoft, 2008, SIGP.

Semiautomated improvement of RNA alignments.

Peter Sestoft, Christian Zwieb, Jan Gorodkin, 2007, RNA.

Mix: A self-applicable partial evaluator for experiments in compiler generation

Neil D. Jones, Peter Sestoft, Harald Søndergaard, 1989, LISP Symb. Comput..

The structure of a self-applicable partial evaluator

Peter Sestoft, P. Sestoft, 1985, Programs as Data Objects.

An experiment in partial evaluation: the generation of a compiler generator

Peter Sestoft, Neil D. Jones, Harald Søndergaard, 1985, SIGP.

Programming Language Concepts

Peter Sestoft, P. Sestoft, Peter Sestoft, 2012, Undergraduate Topics in Computer Science.

Compiling Micro-C

Peter Sestoft, P. Sestoft, 2012 .

Abstract machines for programming language implementation

Pieter H. Hartel, Stephan Diehl, Peter Sestoft, 2000, Future Gener. Comput. Syst..

Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution

Peter Sestoft, Sebastien Vaucouleur, P. Sestoft, 2008, Lipari Summer School.

A distributed, value-oriented XML store

Peter Sestoft, Tine Thorn, Anders Baumann, 2003 .

Annotated bibliography on partial evaluation and mixed computation

Peter Sestoft, Alexandre V. Zamulin, P. Sestoft, 1988, New Generation Computing.

A bibliography on partial evaluation

Peter Sestoft, Harald Søndergaard, P. Sestoft, 1988, SIGP.

Demonstrating Lambda Calculus Reduction

Peter Sestoft, P. Sestoft, 2001, MFPS.

Sheet-Defined Functions: Implementation and Initial Evaluation

Peter Sestoft, Jens Zeilund Sørensen, P. Sestoft, 2013, IS-EUD.

Deriving a lazy abstract machine

Peter Sestoft, P. Sestoft, 1997, Journal of Functional Programming.

MK Pattern Match Compilation and Partial Evaluation

Peter Sestoft, P. Sestoft, 1996, Dagstuhl Seminar on Partial Evaluation.

Analysis and efficient implementation of functional programs

Peter Sestoft, P. Sestoft, 1991 .

Early Nordic Compilers and Autocodes

Peter Sestoft, P. Sestoft, 2014, History of Nordic Computing.

Real Machine Code

Peter Sestoft, P. Sestoft, 2017 .

Decidability and Undecidability Results for Duration Calculus

Michael R. Hansen, Chaochen Zhou, Peter Sestoft, 1993, STACS.

Non-Determinism in Functional Languages

Peter Sestoft, Harald Søndergaard, P. Sestoft, 1992, Comput. J..

Partial Evaluation

Peter Sestoft, P. Sestoft, T. Mogensen, 1996 .

Referential transparency, definiteness and unfoldability

Peter Sestoft, Harald Søndergaard, P. Sestoft, 1990, Acta Informatica.

On Designing Applied DSLs for Non-Programming Experts in Evolving Domains

Peter Sestoft, Henning Niss, Holger Stadel Borum, 2021, 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

On the cost semantics for spreadsheets with sheet-defined functions

L. L. Thomsen, P. Sestoft, Bent Thomsen, 2022, J. Comput. Lang..

Actulus Modeling Language

P. Sestoft, H. Niss, D. Christiansen, 2013 .

Formalized Verification of Snapshotable Trees: Separation and Sharing

Lars Birkedal, Filip Sieczkowski, Peter Sestoft, 2012, VSTTE.

Analysis and efficient implementation of functional programs

P. Sestoft, 1991 .

Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation

Peter Sestoft, Neil D. Jones, Harald Søndergaard, 1987 .

Runtime Code Generation with JVM and CLR

Peter Sestoft, P. Sestoft, 2002 .

Pension reserve computations on GPUs

Peter Sestoft, David Raymond Christiansen, Christian Harrington, 2014, FHPC '14.

High-Performance Reserve Calculations for Life Insurance Portfolios

P. Sestoft, D. Christiansen, C. Harrington, 2013 .

Partial Evaluation for the Lambda Calculus

Peter Sestoft, Neil D. Jones, Carsten K. Gomard, 1998, Partial Evaluation.

MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)

Peter Sestoft, Neil D. Jones, Harald Søndergaard, 1987, MFPS.

Automatic call unfolding in a partial evaluator

Peter Sestoft, P. Sestoft, 1987 .

Code Generation for Embedded Systems

P. Sestoft, H. Hulgaard, A. Wąsowski, 2022 .