Peter Sestoft

Cited by

	All	Since 2017
Citations	5309	791
h-index	25	12
i10-index	47	19

240

120

180

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202245 37 62 121 89 164 130 159 208 206 213 174 192 152 172 158 195 186 157 169 229 173 137 147 161 166 154 122 133 159 158 143 125 107 99

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Neil JonesVerified email at diku.dk
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Stephan DiehlProfessor of Computer Science, University of TrierVerified email at uni-trier.de
Pieter HartelProfessor Emeritus Cyber securityVerified email at tudelft.nl
Martin ElsmanProfessor, DIKUVerified email at di.ku.dk
Sergei A. RomanenkoLeading Researcher, Keldysh Institute of Applied MathematicsVerified email at supercompilers.ru
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Anne Louise GimsingDanish Ministry of EnvironmentVerified email at mim.dk
Thomas BøgholmAalborg UniversitetVerified email at cs.aau.dk
Lone Leth ThomsenAssociate Professor, Department of Computer Science, Aalborg UniversityVerified email at acm.org
Bent ThomsenProfessor (MSO), Aalborg UniversityVerified email at acm.org
David Thrane ChristiansenDeon DigitalVerified email at deondigital.com
Sebastien Vaucouleurvaucouleur.comVerified email at vaucouleur.com
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Ebbe Sloth AndersenAssociate Professor, Aarhus UniversityVerified email at inano.au.dk
Jakob Hull HavgaardUniversity of CopenhagenVerified email at rth.dk
Torben Ægidius MogensenUniversity of CopenhagenVerified email at diku.edu
Filip SieczkowskiHeriot-Watt UniversityVerified email at hw.ac.uk
Wensheng DouAssociate Professor, Institute of Software Chinese Academy of Sciences (ISCAS)Verified email at iscas.ac.cn

Peter Sestoft

Professor, IT University of Copenhagen

Verified email at itu.dk - Homepage

programming languages software development functional programming programming language implementation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Partial evaluation and automatic program generation ND Jones, CK Gomard, P Sestoft Peter Sestoft, 1993	2208	1993
Mix: a self-applicable partial evaluator for experiments in compiler generation ND Jones, P Sestoft, H Søndergaard Lisp and Symbolic computation 2 (1), 9-50, 1989	415	1989
An experiment in partial evaluation: the generation of a compiler generator ND Jones, P Sestoft, H Søndergaard International Conference on Rewriting Techniques and Applications, 124-140, 1985	356	1985
Deriving a lazy abstract machine P Sestoft Journal of Functional Programming 7 (3), 231-264, 1997	264	1997
Decidability and undecidability results for duration calculus Z Chaochen, MR Hansen, P Sestoft Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993	154	1993
Replacing function parameters by global variables P Sestoft Proceedings of the fourth international conference on Functional programming …, 1989	153	1989
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27 (6), 505-517, 1990	125	1990
Non-determinism in functional languages H Søndergaard, P Sestoft The Computer Journal 35 (5), 514-523, 1992	123	1992
Analysis and E cient Implementation of Functional Programs P Sestoft PhD thesis, DIKU, University of Copenhagen, 1991	102	1991
Abstract machines for programming language implementation S Diehl, P Hartel, P Sestoft Future Generation Computer Systems 16 (7), 739-751, 2000	97	2000
The structure of a self-applicable partial evaluator P Sestoft Programs as Data Objects, 236-256, 1986	95	1986
Automatic call unfolding in partial evaluator P Sestoft Partial Evaluation and Mixed Computation, 485-506, 1988	82	1988
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	77	2004
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	63	2001
Demonstrating lambda calculus reduction P Sestoft The essence of computation, 420-435, 2002	60	2002
Semiautomated improvement of RNA alignments ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ... Rna 13 (11), 1850-1859, 2007	51	2007
Java precisely P Sestoft Mit Press, 2016	50	2016
Programming with regions in the ML Kit M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ... DIKU Rapport 97, 12, 1997	50	1997
ML pattern match compilation and partial evaluation P Sestoft Partial Evaluation, 446-464, 1996	41	1996
Spreadsheet Implementation Technology: Basics and Extensions P Sestoft The MIT Press, 2014	37	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors