BibTeX records: Peter Sestoft

download as .bib file

@inproceedings{DBLP:conf/pepm/SestoftS24,
  author       = {Peter Sestoft and
                  Harald S{\o}ndergaard},
  editor       = {Gabriele Keller and
                  Meng Wang},
  title        = {The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation
                  (Invited Contribution)},
  booktitle    = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2024, London,
                  UK, 16 January 2024},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3635800.3637445},
  doi          = {10.1145/3635800.3637445},
  timestamp    = {Fri, 12 Jan 2024 11:03:54 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/SestoftS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BockBSTT22,
  author       = {Alexander Asp Bock and
                  Thomas B{\o}gholm and
                  Peter Sestoft and
                  Bent Thomsen and
                  Lone Leth Thomsen},
  title        = {On the cost semantics for spreadsheets with sheet-defined functions},
  journal      = {J. Comput. Lang.},
  volume       = {69},
  pages        = {101103},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.cola.2022.101103},
  doi          = {10.1016/J.COLA.2022.101103},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/vlc/BockBSTT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BorumNS21,
  author       = {Holger Stadel Borum and
                  Henning Niss and
                  Peter Sestoft},
  title        = {On Designing Applied DSLs for Non-Programming Experts in Evolving
                  Domains},
  booktitle    = {24th International Conference on Model Driven Engineering Languages
                  and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
  pages        = {227--238},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/MODELS50736.2021.00031},
  doi          = {10.1109/MODELS50736.2021.00031},
  timestamp    = {Wed, 23 Feb 2022 10:19:29 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BorumNS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Borum0S21,
  author       = {Holger Stadel Borum and
                  Christoph Seidl and
                  Peter Sestoft},
  editor       = {Jeff Gray and
                  Matti Rossi and
                  Jonathan Sprinkle and
                  Juha{-}Pekka Tolvanen},
  title        = {Co-designing {DSL} quality assurance measures for and with non-programming
                  experts},
  booktitle    = {{DSM} 2021: Proceedings of the 18th {ACM} {SIGPLAN} International
                  Workshop on Domain-Specific Modeling, Chicago, IL, USA, 18 October
                  2021},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3486603.3486776},
  doi          = {10.1145/3486603.3486776},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/Borum0S21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BockBSTT20,
  author       = {Alexander Asp Bock and
                  Thomas B{\o}gholm and
                  Peter Sestoft and
                  Bent Thomsen and
                  Lone Leth Thomsen},
  title        = {On the semantics for spreadsheets with sheet-defined functions},
  journal      = {J. Comput. Lang.},
  volume       = {57},
  pages        = {100960},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.cola.2020.100960},
  doi          = {10.1016/J.COLA.2020.100960},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/BockBSTT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Sestoft18,
  author       = {Peter Sestoft},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Programming Language Specification and Implementation},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
                  November 5-9, 2018, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11244},
  pages        = {162--183},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03418-4\_11},
  doi          = {10.1007/978-3-030-03418-4\_11},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Sestoft18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BiermannDS18,
  author       = {Florian Biermann and
                  Wensheng Dou and
                  Peter Sestoft},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Rewriting High-Level Spreadsheet Structures into Higher-Order Functional
                  Programs},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_2},
  doi          = {10.1007/978-3-319-73305-0\_2},
  timestamp    = {Fri, 27 Mar 2020 08:57:16 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/BiermannDS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/Sestoft17,
  author       = {Peter Sestoft},
  title        = {Programming Language Concepts, Second Edition},
  series       = {Undergraduate Topics in Computer Science},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-60789-4},
  doi          = {10.1007/978-3-319-60789-4},
  isbn         = {978-3-319-60788-7},
  timestamp    = {Fri, 08 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/utcs/Sestoft17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BiermannS17,
  author       = {Florian Biermann and
                  Peter Sestoft},
  editor       = {Martin Elsman and
                  Clemens Grelck and
                  Andreas Kl{\"{o}}ckner and
                  David A. Padua and
                  Edgar Solomonik},
  title        = {Quad Ropes: immutable, declarative arrays with parallelizable operations},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Libraries,
                  Languages, and Compilers for Array Programming, ARRAY@PLDI 2017, Barcelona,
                  Spain, June 18, 2017},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3091966.3091971},
  doi          = {10.1145/3091966.3091971},
  timestamp    = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/BiermannS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HermansPS15,
  author       = {Felienne Hermans and
                  Richard F. Paige and
                  Peter Sestoft},
  editor       = {Antonia Bertolino and
                  Gerardo Canfora and
                  Sebastian G. Elbaum},
  title        = {2nd International Workshop on Software Engineering Methods in Spreadsheets
                  {(SEMS} 2015)},
  booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages        = {1005--1006},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSE.2015.325},
  doi          = {10.1109/ICSE.2015.325},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HermansPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015sems,
  editor       = {Felienne Hermans and
                  Richard F. Paige and
                  Peter Sestoft},
  title        = {Proceedings of the Second Workshop on Software Engineering Methods
                  in Spreadsheets co-located with the 37th International Conference
                  on Software Engineering {(ICSE} 2015) , Florence, Italy, May 18, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1355},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1355},
  urn          = {urn:nbn:de:0074-1355-4},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2015sems.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hinc/Sestoft14,
  author       = {Peter Sestoft},
  editor       = {Christian Gram and
                  Per Rasmussen and
                  S{\o}ren Duus {\O}stergaard},
  title        = {Early Nordic Compilers and Autocodes},
  booktitle    = {History of Nordic Computing 4 - 4th {IFIP} {WG} 9.7 Conference, HiNC
                  4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {447},
  pages        = {350--366},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-17145-6\_36},
  doi          = {10.1007/978-3-319-17145-6\_36},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hinc/Sestoft14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HarringtonDSC14,
  author       = {Christian Harrington and
                  Nicolai Dahl and
                  Peter Sestoft and
                  David Raymond Christiansen},
  editor       = {Jost Berthold and
                  Mary Sheeran and
                  Ryan Newton},
  title        = {Pension reserve computations on GPUs},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} workshop on Functional high-performance
                  computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2636228.2636230},
  doi          = {10.1145/2636228.2636230},
  timestamp    = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/HarringtonDSC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/SestoftS13,
  author       = {Peter Sestoft and
                  Jens Zeilund S{\o}rensen},
  editor       = {Yvonne Dittrich and
                  Margaret M. Burnett and
                  Anders I. M{\o}rch and
                  David F. Redmiles},
  title        = {Sheet-Defined Functions: Implementation and Initial Evaluation},
  booktitle    = {End-User Development - 4th International Symposium, {IS-EUD} 2013,
                  Copenhagen, Denmark, June 10-13, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7897},
  pages        = {88--103},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38706-7\_8},
  doi          = {10.1007/978-3-642-38706-7\_8},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/iseud/SestoftS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sestoft13,
  author       = {Peter Sestoft},
  editor       = {Anindya Banerjee and
                  Olivier Danvy and
                  Kyung{-}Goo Doh and
                  John Hatcliff},
  title        = {Online partial evaluation of sheet-defined functions},
  booktitle    = {Semantics, Abstract Interpretation, and Reasoning about Programs:
                  Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth
                  Birthday, Manhattan, Kansas, USA, 19-20th September 2013},
  series       = {{EPTCS}},
  volume       = {129},
  pages        = {136--160},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.129.10},
  doi          = {10.4204/EPTCS.129.10},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Sestoft13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0029947,
  author       = {Peter Sestoft},
  title        = {Programming Language Concepts},
  series       = {Undergraduate Topics in Computer Science},
  volume       = {50},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-4156-3},
  doi          = {10.1007/978-1-4471-4156-3},
  isbn         = {978-1-4471-4155-6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0029947.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/MehnertSBS12,
  author       = {Hannes Mehnert and
                  Filip Sieczkowski and
                  Lars Birkedal and
                  Peter Sestoft},
  editor       = {Rajeev Joshi and
                  Peter M{\"{u}}ller and
                  Andreas Podelski},
  title        = {Formalized Verification of Snapshotable Trees: Separation and Sharing},
  booktitle    = {Verified Software: Theories, Tools, Experiments - 4th International
                  Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7152},
  pages        = {179--195},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27705-4\_15},
  doi          = {10.1007/978-3-642-27705-4\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/MehnertSBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/JensenBS11,
  author       = {Jonas Braband Jensen and
                  Lars Birkedal and
                  Peter Sestoft},
  title        = {Modular Verification of Linked Lists with Views via Separation Logic},
  journal      = {J. Object Technol.},
  volume       = {10},
  pages        = {2: 1--20},
  year         = {2011},
  url          = {https://doi.org/10.5381/jot.2011.10.1.a2},
  doi          = {10.5381/JOT.2011.10.1.A2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jot/JensenBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/JensenBS10,
  author       = {Jonas Braband Jensen and
                  Lars Birkedal and
                  Peter Sestoft},
  title        = {Modular verification of linked lists with views via separation logic},
  booktitle    = {Proceedings of the 12th Workshop on Formal Techniques for Java-Like
                  Programs, {FTFJP} 2010, Maribor, Slovenia, June 22, 2010},
  pages        = {4:1--4:7},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1924520.1924524},
  doi          = {10.1145/1924520.1924524},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/JensenBS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LawallLS08,
  author       = {Julia Lawall and
                  Michael Leuschel and
                  Peter Sestoft},
  title        = {Editorial},
  journal      = {High. Order Symb. Comput.},
  volume       = {21},
  number       = {1-2},
  pages        = {1--3},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10990-008-9029-1},
  doi          = {10.1007/S10990-008-9029-1},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/LawallLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Sestoft08,
  author       = {Peter Sestoft},
  title        = {Programming language concepts for software developers},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {43},
  number       = {11},
  pages        = {119--123},
  year         = {2008},
  url          = {https://doi.org/10.1145/1480828.1480854},
  doi          = {10.1145/1480828.1480854},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Sestoft08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HessellundS08,
  author       = {Anders Hessellund and
                  Peter Sestoft},
  editor       = {Jan Vitek},
  title        = {Flow Analysis of Code Customizations},
  booktitle    = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
                  Paphos, Cyprus, July 7-11, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5142},
  pages        = {285--308},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70592-5\_13},
  doi          = {10.1007/978-3-540-70592-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/HessellundS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Sestoft08,
  author       = {Peter Sestoft},
  editor       = {Robin Abraham and
                  Margaret Burnett and
                  Mary Shaw},
  title        = {Implementing function spreadsheets},
  booktitle    = {Proceedings of the 4th international workshop on End-user software
                  engineering, {WEUSE} '08, Leipzig, Germany, May 12, 2008},
  pages        = {91--94},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1370847.1370867},
  doi          = {10.1145/1370847.1370867},
  timestamp    = {Tue, 25 Jan 2022 20:30:35 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Sestoft08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022397,
  author       = {Jon Jagger and
                  Nigel Perry and
                  Peter Sestoft},
  title        = {C{\#} annotated standard},
  publisher    = {Morgan Kaufmann},
  year         = {2007},
  isbn         = {978-0-12-372511-0},
  timestamp    = {Wed, 23 Mar 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0022397.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lipari/JohansenSS07,
  author       = {Rasmus Johansen and
                  Peter Sestoft and
                  Stephan Spangenberg},
  editor       = {Egon B{\"{o}}rger and
                  Antonio Cisternino},
  title        = {Zero-Overhead Composable Aspects for .NET},
  booktitle    = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
                  Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5316},
  pages        = {185--215},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-89762-0\_7},
  doi          = {10.1007/978-3-540-89762-0\_7},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lipari/JohansenSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lipari/SestoftV07,
  author       = {Peter Sestoft and
                  Sebastien Vaucouleur},
  editor       = {Egon B{\"{o}}rger and
                  Antonio Cisternino},
  title        = {Technologies for Evolvable Software Products: The Conflict between
                  Customizations and Evolution},
  booktitle    = {Advances in Software Engineering, Lipari Summer School 2007, Lipari
                  Island, Italy, July 8-21, 2007, Revised Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5316},
  pages        = {216--253},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-89762-0\_8},
  doi          = {10.1007/978-3-540-89762-0\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lipari/SestoftV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2006,
  editor       = {Peter Sestoft},
  title        = {Programming Languages and Systems, 15th European Symposium on Programming,
                  {ESOP} 2006, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3924},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11693024},
  doi          = {10.1007/11693024},
  isbn         = {3-540-33095-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022398,
  author       = {Peter Sestoft},
  title        = {Java Precisely {(2.} ed.)},
  publisher    = {{MIT} Press},
  year         = {2005},
  isbn         = {978-0-262-69325-7},
  timestamp    = {Sun, 06 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0022398.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0012281,
  author       = {Peter Sestoft and
                  Henrik I. Hansen},
  title        = {C{\#} precisely},
  publisher    = {{AAAI} Press},
  year         = {2004},
  isbn         = {978-0-262-69317-2},
  timestamp    = {Thu, 14 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0012281.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2004,
  editor       = {Nevin Heintze and
                  Peter Sestoft},
  title        = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2004, Verona, Italy, August
                  24-25, 2004},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {http://dl.acm.org/citation.cfm?id=1014007},
  isbn         = {1-58113-835-0},
  timestamp    = {Tue, 22 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Sestoft02,
  author       = {Peter Sestoft},
  editor       = {Torben {\AE}. Mogensen and
                  David A. Schmidt and
                  Ivan Hal Sudborough},
  title        = {Demonstrating Lambda Calculus Reduction},
  booktitle    = {The Essence of Computation, Complexity, Analysis, Transformation.
                  Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
  series       = {Lecture Notes in Computer Science},
  volume       = {2566},
  pages        = {420--435},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36377-7\_19},
  doi          = {10.1007/3-540-36377-7\_19},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Sestoft02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sestoft01,
  author       = {Peter Sestoft},
  editor       = {Stephen D. Brookes and
                  Michael W. Mislove},
  title        = {Demonstrating Lambda Calculus Reduction},
  booktitle    = {Seventeenth Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2001, Aarhus, Denmark, May 23-26, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {45},
  pages        = {424--432},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80973-3},
  doi          = {10.1016/S1571-0661(04)80973-3},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sestoft01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/DiehlHS00,
  author       = {Stephan Diehl and
                  Pieter H. Hartel and
                  Peter Sestoft},
  title        = {Principles of abstract machines},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {16},
  number       = {7},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0167-739X(99)00087-4},
  doi          = {10.1016/S0167-739X(99)00087-4},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/DiehlHS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/DiehlHS00a,
  author       = {Stephan Diehl and
                  Pieter H. Hartel and
                  Peter Sestoft},
  title        = {Abstract machines for programming language implementation},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {16},
  number       = {7},
  pages        = {739--751},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0167-739X(99)00088-6},
  doi          = {10.1016/S0167-739X(99)00088-6},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/DiehlHS00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/JonesGS98,
  author       = {Neil D. Jones and
                  Carsten K. Gomard and
                  Peter Sestoft},
  editor       = {John Hatcliff and
                  Torben {\AE}. Mogensen and
                  Peter Thiemann},
  title        = {Partial Evaluation for the Lambda Calculus},
  booktitle    = {Partial Evaluation - Practice and Theory, {DIKU} 1998 International
                  Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
  series       = {Lecture Notes in Computer Science},
  volume       = {1706},
  pages        = {203--220},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-47018-2\_7},
  doi          = {10.1007/3-540-47018-2\_7},
  timestamp    = {Mon, 28 Aug 2023 21:17:45 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/JonesGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Sestoft97,
  author       = {Peter Sestoft},
  title        = {Deriving a Lazy Abstract Machine},
  journal      = {J. Funct. Program.},
  volume       = {7},
  number       = {3},
  pages        = {231--264},
  year         = {1997},
  url          = {https://doi.org/10.1017/s0956796897002712},
  doi          = {10.1017/S0956796897002712},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/Sestoft97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Sestoft96,
  author       = {Peter Sestoft},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {{MK} Pattern Match Compilation and Partial Evaluation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {446--464},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_22},
  doi          = {10.1007/3-540-61580-6\_22},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Sestoft96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0072559,
  author       = {Neil D. Jones and
                  Carsten K. Gomard and
                  Peter Sestoft},
  title        = {Partial evaluation and automatic program generation},
  series       = {Prentice Hall international series in computer science},
  publisher    = {Prentice Hall},
  year         = {1993},
  isbn         = {978-0-13-020249-9},
  timestamp    = {Fri, 08 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0072559.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ChaochenHS93,
  author       = {Zhou Chaochen and
                  Michael R. Hansen and
                  Peter Sestoft},
  editor       = {Patrice Enjalbert and
                  Alain Finkel and
                  Klaus W. Wagner},
  title        = {Decidability and Undecidability Results for Duration Calculus},
  booktitle    = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
                  Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {665},
  pages        = {58--68},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56503-5\_8},
  doi          = {10.1007/3-540-56503-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/ChaochenHS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/SondergaardS92,
  author       = {Harald S{\o}ndergaard and
                  Peter Sestoft},
  title        = {Non-Determinism in Functional Languages},
  journal      = {Comput. J.},
  volume       = {35},
  number       = {5},
  pages        = {514--523},
  year         = {1992},
  url          = {https://doi.org/10.1093/comjnl/35.5.514},
  doi          = {10.1093/COMJNL/35.5.514},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/SondergaardS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/GomardS92,
  author       = {Carsten K. Gomard and
                  Peter Sestoft},
  editor       = {Maurice Bruynooghe and
                  Martin Wirsing},
  title        = {Path Analysis for Lazy Data Structures},
  booktitle    = {Programming Language Implementation and Logic Programming, 4th International
                  Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {631},
  pages        = {54--68},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55844-6\_127},
  doi          = {10.1007/3-540-55844-6\_127},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/GomardS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/GomardS91,
  author       = {Carsten K. Gomard and
                  Peter Sestoft},
  editor       = {Rogardt Heldal and
                  Carsten Kehler Holst and
                  Philip Wadler},
  title        = {Evaluation Order Analysis for Lazy Data Structures},
  booktitle    = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
                  Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
                  August 1991},
  series       = {Workshops in Computing},
  pages        = {112--127},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3196-0\_9},
  doi          = {10.1007/978-1-4471-3196-0\_9},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/GomardS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GomardS91,
  author       = {Carsten K. Gomard and
                  Peter Sestoft},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Globalization and Live Variables},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {166--177},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115882},
  doi          = {10.1145/115865.115882},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GomardS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SondergaardS89,
  author       = {Harald S{\o}ndergaard and
                  Peter Sestoft},
  title        = {Referential Transparency, Definiteness and Unfoldability},
  journal      = {Acta Informatica},
  volume       = {27},
  number       = {6},
  pages        = {505--517},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00277387},
  doi          = {10.1007/BF00277387},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SondergaardS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/JonesSS89,
  author       = {Neil D. Jones and
                  Peter Sestoft and
                  Harald S{\o}ndergaard},
  title        = {Mix: {A} Self-Applicable Partial Evaluator for Experiments in Compiler
                  Generation},
  journal      = {{LISP} Symb. Comput.},
  volume       = {2},
  number       = {1},
  pages        = {9--50},
  year         = {1989},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lisp/JonesSS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Sestoft89,
  author       = {Peter Sestoft},
  editor       = {Joseph E. Stoy},
  title        = {Replacing Function Parameters by Global Variables},
  booktitle    = {Proceedings of the fourth international conference on Functional programming
                  languages and computer architecture, {FPCA} 1989, London, UK, September
                  11-13, 1989},
  pages        = {39--53},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/99370.99374},
  doi          = {10.1145/99370.99374},
  timestamp    = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl       = {https://dblp.org/rec/conf/fpca/Sestoft89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/SestoftZ88,
  author       = {Peter Sestoft and
                  Alexandre V. Zamulin},
  title        = {Annotated Bibliography on Partial Evaluation and Mixed Computation},
  journal      = {New Gener. Comput.},
  volume       = {6},
  number       = {2{\&}3},
  pages        = {309--354},
  year         = {1988},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/SestoftZ88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/SestoftS88,
  author       = {Peter Sestoft and
                  Harald S{\o}ndergaard},
  title        = {A bibliography on partial evaluation},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {23},
  number       = {2},
  pages        = {19--26},
  year         = {1988},
  url          = {https://doi.org/10.1145/43908.43910},
  doi          = {10.1145/43908.43910},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/SestoftS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/JonesSS87,
  author       = {Neil D. Jones and
                  Peter Sestoft and
                  Harald S{\o}ndergaard},
  editor       = {Michael G. Main and
                  Austin Melton and
                  Michael W. Mislove and
                  David A. Schmidt},
  title        = {{MIX:} {A} Self-Applicable Partial Evaluator for Experiments in Compiler
                  Generation (Extended Abstract)},
  booktitle    = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
                  Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {298},
  pages        = {386--413},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-19020-1\_21},
  doi          = {10.1007/3-540-19020-1\_21},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/mfps/JonesSS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/JonesSS85,
  author       = {Neil D. Jones and
                  Peter Sestoft and
                  Harald S{\o}ndergaard},
  title        = {An experiment in partial evaluation: the generation of a compiler
                  generator},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {20},
  number       = {8},
  pages        = {82--87},
  year         = {1985},
  url          = {https://doi.org/10.1145/988346.988358},
  doi          = {10.1145/988346.988358},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/JonesSS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/Sestoft85,
  author       = {Peter Sestoft},
  editor       = {Harald Ganzinger and
                  Neil D. Jones},
  title        = {The structure of a self-applicable partial evaluator},
  booktitle    = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
                  October 17-19, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {217},
  pages        = {236--256},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16446-4\_14},
  doi          = {10.1007/3-540-16446-4\_14},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/pdo/Sestoft85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/JonesSS85,
  author       = {Neil D. Jones and
                  Peter Sestoft and
                  Harald S{\o}ndergaard},
  editor       = {Jean{-}Pierre Jouannaud},
  title        = {An Experiment in Partial Evaluation: The Generation of a Compiler
                  Generator},
  booktitle    = {Rewriting Techniques and Applications, First International Conference,
                  RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {202},
  pages        = {124--140},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15976-2\_6},
  doi          = {10.1007/3-540-15976-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/JonesSS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics