Peter Sestoft

Cited by

	All	Since 2017
Citations	5222	719
h-index	25	12
i10-index	46	15

240

120

180

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202245 36 63 125 87 164 129 156 206 199 213 174 197 157 174 157 193 183 154 170 228 173 137 152 166 163 154 119 128 156 155 137 122 115 34

Public access

View all

5 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
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
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Anne Louise GimsingDanish Ministry of EnvironmentVerified email at mim.dk
David Thrane ChristiansenDeon DigitalVerified email at deondigital.com
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Sebastien Vaucouleurvaucouleur.comVerified email at vaucouleur.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 SieczkowskiUniversity of WrocławVerified email at cs.uni.wroc.pl
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	2183	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	416	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	352	1985
Deriving a lazy abstract machine P Sestoft Journal of Functional Programming 7 (3), 231-264, 1997	259	1997
Replacing function parameters by global variables P Sestoft Proceedings of the fourth international conference on Functional programming …, 1989	154	1989
Decidability and undecidability results for duration calculus Z Chaochen, MR Hansen, P Sestoft Annual Symposium on Theoretical Aspects of Computer Science, 58-68, 1993	151	1993
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27 (6), 505-517, 1990	124	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	104	1991
Abstract machines for programming language implementation S Diehl, P Hartel, P Sestoft Future Generation Computer Systems 16 (7), 739-751, 2000	96	2000
The structure of a self-applicable partial evaluator P Sestoft Programs as Data Objects, 236-256, 1986	94	1986
Automatic call unfolding in partial evaluator P Sestoft Partial Evaluation and Mixed Computation, 485-506, 1988	81	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	73	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	64	2001
Demonstrating lambda calculus reduction P Sestoft The essence of computation, 420-435, 2002	59	2002
Programming with regions in the ML Kit M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ... DIKU Rapport 97, 12, 1997	51	1997
Java precisely P Sestoft Mit Press, 2016	49	2016
Semiautomated improvement of RNA alignments ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ... Rna 13 (11), 1850-1859, 2007	48	2007
ML pattern match compilation and partial evaluation P Sestoft Partial Evaluation, 446-464, 1996	39	1996
Annotated bibliography on partial evaluation and mixed computation P Sestoft, AV Zamulin New Generation Computing 6 (2&3), 309-354, 1988	36	1988

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 this author

Cited by

Co-authors