Peter Sestoft

Cited by

	All	Since 2019
Citations	5477	672
h-index	26	13
i10-index	46	16

220

110

165

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202455 40 63 121 90 154 142 152 188 215 206 176 191 150 183 154 194 212 150 180 214 158 140 145 161 166 160 116 123 154 154 143 127 106 129 87 80

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Neil JonesVerified email at diku.dk
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
Martin ElsmanProfessor, DIKUVerified email at di.ku.dk
Sergei A. RomanenkoResearcher, Keldysh Institute of Applied MathematicsVerified email at supercompilers.ru
Pieter HartelProfessor Emeritus Cyber securityVerified email at tudelft.nl
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.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
Anne Louise GimsingDanish Ministry of EnvironmentVerified email at mim.dk
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
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Filip SieczkowskiHeriot-Watt UniversityVerified email at hw.ac.uk
Wensheng DouProfessor, Institute of Software Chinese Academy of Sciences (ISCAS)Verified email at iscas.ac.cn
Ken Friis LarsenAssociate professor, Department of Computer Science, University of CopenhagenVerified email at diku.dk

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	2295	1993
An experiment in partial evaluation: the generation of a compiler generator ND Jones, P Sestoft, H Søndergaard ACM SIGPLAN Notices 20 (8), 82-87, 1985	361	1985
Mix: a self-applicable partial evaluator for experiments in compiler generation ND Jones, P Sestoft, H Søndergaard Lisp and Symbolic computation 2, 9-50, 1989	342	1989
Deriving a lazy abstract machine P Sestoft Journal of Functional Programming 7 (3), 231-264, 1997	279	1997
Replacing function parameters by global variables P Sestoft Proceedings of the fourth international conference on Functional programming …, 1989	162	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	154	1993
Referential transparency, definiteness and unfoldability H Søndergaard, P Sestoft Acta Informatica 27, 505-517, 1990	134	1990
Non-determinism in functional languages H Søndergaard, P Sestoft The Computer Journal 35 (5), 514-523, 1992	130	1992
Analysis and E cient Implementation of Functional Programs P Sestoft PhD thesis, DIKU, University of Copenhagen, 1991	106	1991
Abstract machines for programming language implementation S Diehl, P Hartel, P Sestoft Future Generation Computer Systems 16 (7), 739-751, 2000	104	2000
The structure of a self-applicable partial evaluator P Sestoft Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark …, 2005	93	2005
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	80	2004
Demonstrating lambda calculus reduction P Sestoft The essence of computation: complexity, analysis, transformation, 420-435, 2002	64	2002
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
ML pattern match compilation and partial evaluation P Sestoft Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005	59	2005
Semiautomated improvement of RNA alignments ES Andersen, A Lind-Thomsen, B Knudsen, SE Kristensen, JH Havgaard, ... Rna 13 (11), 1850-1859, 2007	54	2007
Programming with regions in the ML Kit M Tofte, L Birkedal, M Elsman, N Hallenberg, TH Olesen, P Sestoft, ... DIKU Rapport 97, 12, 1997	52	1997
Java precisely P Sestoft Mit Press, 2016	50	2016
Annotated bibliography on partial evaluation and mixed computation P Sestoft, AV Zamulin New Generation Computing 6 (2&3), 309-354, 1988	41	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

Cited by

Co-authors