@inproceedings{AmorimCDDHPPPT14,
  title = {A verified information-flow architecture},
  author = {Arthur Azevedo de Amorim and Nathan Collins and André DeHon and Delphine Demange and Catalin Hritcu and David Pichardie and Benjamin C. Pierce and Randy Pollack and Andrew P. Tolmach},
  year = {2014},
  doi = {10.1145/2535838.2535839},
  url = {http://doi.acm.org/10.1145/2535838.2535839},
  researchr = {https://researchr.org/publication/AmorimCDDHPPPT14},
  cites = {0},
  citedby = {0},
  pages = {165-178},
  booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014},
  editor = {Suresh Jagannathan and Peter Sewell},
  publisher = {ACM},
  isbn = {978-1-4503-2544-8},
}

@inproceedings{AntwerpenNTVW16,
  title = {A constraint language for static semantic analysis based on scope graphs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2016},
  doi = {10.1145/2847538.2847543},
  url = {http://doi.acm.org/10.1145/2847538.2847543},
  researchr = {https://researchr.org/publication/AntwerpenNTVW16},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Martin Erwig and Tiark Rompf},
  publisher = {ACM},
  isbn = {978-1-4503-4097-7},
}

@inproceedings{PoulsenNTV16,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/LIPIcs.ECOOP.2016.20},
  researchr = {https://researchr.org/publication/PoulsenNTV16},
  cites = {0},
  citedby = {0},
  booktitle = {30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy},
  editor = {Shriram Krishnamurthi and Benjamin S. Lerner},
  volume = {56},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-014-9},
}

@inproceedings{LiMJT07,
  title = {Lightweight concurrency primitives for GHC},
  author = {Peng Li and Simon Marlow and Simon L. Peyton Jones and Andrew P. Tolmach},
  year = {2007},
  doi = {10.1145/1291201.1291217},
  url = {http://doi.acm.org/10.1145/1291201.1291217},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LiMJT07},
  cites = {0},
  citedby = {0},
  pages = {107-118},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007},
  editor = {Gabriele Keller},
  publisher = {ACM},
  isbn = {978-1-59593-674-5},
}

@article{TolmachO98,
  title = {From ML to Ada: Strongly-Typed Language Interoperability via Source Translation},
  author = {Andrew P. Tolmach and Dino Oliva},
  year = {1998},
  tags = {translation, source-to-source, open-source},
  researchr = {https://researchr.org/publication/TolmachO98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {4},
  pages = {367-412},
}

@techreport{TUD-SERG-2016-010,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Neron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/TUD-SERG-2016-010},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology, Programming Languages Research Group},
  number = {TUD-SERG-2016-010},
  address = {Delft, The Netherlands},
}

@techreport{TUD-SERG-2015-012,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {November},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-012.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-012},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2015-012},
}

@inproceedings{TolmachA91,
  title = {Debuggable Concurrency Extensions for Standard ML},
  author = {Andrew P. Tolmach and Andrew W. Appel},
  year = {1991},
  tags = {debugging},
  researchr = {https://researchr.org/publication/TolmachA91},
  cites = {0},
  citedby = {0},
  pages = {120-131},
  booktitle = {Workshop on Parallel and Distributed Debugging},
}

@inproceedings{HallgrenJLT05,
  title = {A principled approach to operating system construction in Haskell},
  author = {Thomas Hallgren and Mark P. Jones and Rebekah Leslie and Andrew P. Tolmach},
  year = {2005},
  doi = {10.1145/1086365.1086380},
  url = {http://doi.acm.org/10.1145/1086365.1086380},
  tags = {control systems, operating system, memory management, Haskell, logic programming, compiler, programming, logic, systematic-approach},
  researchr = {https://researchr.org/publication/HallgrenJLT05},
  cites = {0},
  citedby = {0},
  pages = {116-128},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@inproceedings{TolmachAN04,
  title = {Implementing functional logic languages using multiple threads and stores},
  author = {Andrew P. Tolmach and Sergio Antoy and Marius Nita},
  year = {2004},
  doi = {10.1145/1016850.1016865},
  url = {http://doi.acm.org/10.1145/1016850.1016865},
  tags = {logic},
  researchr = {https://researchr.org/publication/TolmachAN04},
  cites = {0},
  citedby = {0},
  pages = {90-102},
  booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004},
  editor = {Chris Okasaki and Kathleen Fisher},
  publisher = {ACM},
  isbn = {1-58113-905-5},
}

@inproceedings{AntoyHLT04,
  title = {A Virtual Machine for Functional Logic Computations},
  author = {Sergio Antoy and Michael Hanus and Jimeng Liu and Andrew P. Tolmach},
  year = {2004},
  doi = {10.1007/11431664_7},
  url = {http://dx.doi.org/10.1007/11431664_7},
  tags = {logic},
  researchr = {https://researchr.org/publication/AntoyHLT04},
  cites = {0},
  citedby = {0},
  pages = {108-125},
  booktitle = {Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers},
  editor = {Clemens Grelck and Frank Huch and Greg Michaelson and Philip W. Trinder},
  volume = {3474},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26094-3},
}

@inproceedings{AntoyT99,
  title = {Typed Higher-Order Narrowing without Higher-Order Strategies},
  author = {Sergio Antoy and Andrew P. Tolmach},
  year = {1999},
  researchr = {https://researchr.org/publication/AntoyT99},
  cites = {0},
  citedby = {0},
  pages = {335-353},
  booktitle = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  editor = {Aart Middeldorp and Taisuke Sato},
  volume = {1722},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66677-X},
}

@article{TolmachL11,
  title = {Special Issue Dedicated to ICFP 2009 Editorial},
  author = {Andrew P. Tolmach and Xavier Leroy},
  year = {2011},
  doi = {10.1017/S0956796811000190},
  url = {http://dx.doi.org/10.1017/S0956796811000190},
  researchr = {https://researchr.org/publication/TolmachL11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {21},
  number = {4-5},
  pages = {331-332},
}

@article{TolmachA03,
  title = {A monadic semantics for core Curry},
  author = {Andrew P. Tolmach and Sergio Antoy},
  year = {2003},
  url = {http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#004},
  tags = {semantics},
  researchr = {https://researchr.org/publication/TolmachA03},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = {3},
  pages = {16-34},
}

@techreport{TUD-SERG-2015-001,
  title = {A Theory of Name Resolution with extended Coverage and Proofs},
  author = {Pierre Neron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {January},
  note = {Extended version of ESOP 2015 paper "A Theory of Name Resolution"},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-001},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group. Delft University of Technology},
  type = {Technical Report},
  number = {TUD-SERG-2015-001},
}

@inproceedings{VerguTV19,
  title = {Scopes and Frames Improve Meta-Interpreter Specialization},
  author = {Vlad A. Vergu and Andrew P. Tolmach and Eelco Visser},
  year = {2019},
  doi = {10.4230/LIPIcs.ECOOP.2019.4},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.4},
  researchr = {https://researchr.org/publication/VerguTV19},
  cites = {0},
  citedby = {0},
  booktitle = {33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom},
  editor = {Alastair F. Donaldson},
  volume = {134},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-111-5},
}

@techreport{TUD-SERG-2015-009,
  title = {A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {September},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf},
  note = {Available at \url{http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2015-009.pdf}},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-009},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group, Delft University of Technology},
  number = {TUD-SERG-2015-009},
}

@article{PoulsenRTKV18,
  title = {Intrinsically-typed definitional interpreters for imperative languages},
  author = {Casper Bach Poulsen and Arjen Rouvoet and Andrew P. Tolmach and Robbert Krebbers and Eelco Visser},
  year = {2018},
  doi = {10.1145/3158104},
  url = {http://doi.acm.org/10.1145/3158104},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/PoulsenRTKV18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{Tolmach98,
  title = {Optimizing ML Using a Hierarchy of Monadic Types},
  author = {Andrew P. Tolmach},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1473/14730097.htm},
  tags = {optimization},
  researchr = {https://researchr.org/publication/Tolmach98},
  cites = {0},
  citedby = {0},
  pages = {97-115},
  booktitle = {Types in Compilation, Second International Workshop, TIC  98, Kyoto, Japan, March 25-27, 1998, Proceedings},
  editor = {Xavier Leroy and Atsushi Ohori},
  volume = {1473},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64925-5},
}

@inproceedings{JonesSLT98,
  title = {Bridging the Gulf: A Common Intermediate Language for ML and Haskell},
  author = {Simon L. Peyton Jones and Mark Shields and John Launchbury and Andrew P. Tolmach},
  year = {1998},
  doi = {10.1145/268946.268951},
  url = {http://doi.acm.org/10.1145/268946.268951},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/JonesSLT98},
  cites = {0},
  citedby = {0},
  pages = {49-61},
  booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@inproceedings{VisserOnward14,
  title = {A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs},
  author = {Eelco Visser and Guido Wachsmuth and Andrew P. Tolmach and Pierre Néron and Vlad A. Vergu and Augusto Passalaqua and Gabriël Konat},
  year = {2014},
  doi = {10.1145/2661136.2661149},
  url = {http://doi.acm.org/10.1145/2661136.2661149},
  researchr = {https://researchr.org/publication/VisserOnward14},
  cites = {0},
  citedby = {0},
  pages = {95-111},
  booktitle = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014},
  editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
  publisher = {ACM},
  isbn = {978-1-4503-3210-1},
}

@inproceedings{DockinsT14,
  title = {Suppl: A Flexible Language for Policies},
  author = {Robert Dockins and Andrew P. Tolmach},
  year = {2014},
  doi = {10.1007/978-3-319-12736-1_10},
  url = {http://dx.doi.org/10.1007/978-3-319-12736-1_10},
  researchr = {https://researchr.org/publication/DockinsT14},
  cites = {0},
  citedby = {0},
  pages = {176-195},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings},
  editor = {Jacques Garrigue},
  volume = {8858},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-12735-4},
}

@inproceedings{Tolmach94,
  title = {Tag-Free Garbage Collection Using Explicit Type Parameters},
  author = {Andrew P. Tolmach},
  year = {1994},
  doi = {10.1145/182409.182411},
  url = {http://doi.acm.org/10.1145/182409.182411},
  tags = {tagging},
  researchr = {https://researchr.org/publication/Tolmach94},
  cites = {0},
  citedby = {0},
  pages = {1-11},
  booktitle = {LISP and Functional Programming},
}

@article{PoulsenNTV16Artifact,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/DARTS.2.1.10},
  url = {http://dx.doi.org/10.4230/DARTS.2.1.10},
  researchr = {https://researchr.org/publication/PoulsenNTV16Artifact},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {2},
  number = {1},
}

@techreport{TUD-SERG-2015-006,
  title = {Language-Independent Type-Dependent Name Resolution},
  author = {Hendrik van Antwerpen and Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {July},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-006},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology, Software Engineering Research Group},
  number = {TUD-SERG-2015-006},
  address = {Delft, The Netherlands},
}

@article{AmorimCDDHPPPT16,
  title = {A verified information-flow architecture},
  author = {Arthur Azevedo de Amorim and Nathan Collins and André DeHon and Delphine Demange and Catalin Hritcu and David Pichardie and Benjamin C. Pierce and Randy Pollack and Andrew P. Tolmach},
  year = {2016},
  doi = {10.3233/JCS-15784},
  url = {http://dx.doi.org/10.3233/JCS-15784},
  researchr = {https://researchr.org/publication/AmorimCDDHPPPT16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Security},
  volume = {24},
  number = {6},
  pages = {689-734},
}

@inproceedings{MorrisettT93,
  title = {Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey},
  author = {J. Gregory Morrisett and Andrew P. Tolmach},
  year = {1993},
  researchr = {https://researchr.org/publication/MorrisettT93},
  cites = {0},
  citedby = {0},
  pages = {198-207},
  booktitle = {PPOPP},
}

@inproceedings{TolmachA90,
  title = {Debugging Standard ML Without Reverse Engineering},
  author = {Andrew P. Tolmach and Andrew W. Appel},
  year = {1990},
  doi = {10.1145/91556.91564},
  url = {http://doi.acm.org/10.1145/91556.91564},
  tags = {reverse engineering, debugging},
  researchr = {https://researchr.org/publication/TolmachA90},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {LISP and Functional Programming},
}

@article{NordinT01,
  title = {Modular lazy search for Constraint Satisfaction Problems},
  author = {Thomas Nordin and Andrew P. Tolmach},
  year = {2001},
  tags = {laziness, constraints, search},
  researchr = {https://researchr.org/publication/NordinT01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {11},
  number = {5},
  pages = {557-587},
}

@inproceedings{NeronTVW15,
  title = {A Theory of Name Resolution},
  author = {Pierre Néron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_9},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_9},
  researchr = {https://researchr.org/publication/NeronTVW15},
  cites = {0},
  citedby = {0},
  pages = {205-231},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@inproceedings{VisserBT98,
  title = {Building Program Optimizers with Rewriting Strategies},
  author = {Eelco Visser and Zine-El-Abidine Benaissa and Andrew P. Tolmach},
  year = {1998},
  doi = {10.1145/289423.289425},
  url = {http://doi.acm.org/10.1145/289423.289425},
  tags = {programming languages, optimization, semantics, rule-based, meta programming, graph transformation, variable binding, Stratego/XT, transformation language, term rewriting, composition, graph-rewriting, rules, C++, program optimization, Meta-Environment, higher-order transformations, rewriting, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/VisserBT98},
  cites = {0},
  citedby = {5},
  pages = {13-26},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@inproceedings{AmorimDGHPST15,
  title = {Micro-Policies: Formally Verified, Tag-Based Security Monitors},
  author = {Arthur Azevedo de Amorim and Maxime Dénès and Nick Giannarakis and Catalin Hritcu and Benjamin C. Pierce and Antal Spector-Zabusky and Andrew P. Tolmach},
  year = {2015},
  doi = {10.1109/SP.2015.55},
  url = {http://dx.doi.org/10.1109/SP.2015.55},
  researchr = {https://researchr.org/publication/AmorimDGHPST15},
  cites = {0},
  citedby = {0},
  pages = {813-830},
  booktitle = {2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-6949-7},
}

@article{TolmachA95,
  title = {A Debugger for Standard ML},
  author = {Andrew P. Tolmach and Andrew W. Appel},
  year = {1995},
  tags = {debugging},
  researchr = {https://researchr.org/publication/TolmachA95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {5},
  number = {2},
  pages = {155-200},
}

@inproceedings{McCreightCT10,
  title = {A certified framework for compiling and executing garbage-collected languages},
  author = {Andrew McCreight and Tim Chevalier and Andrew P. Tolmach},
  year = {2010},
  doi = {10.1145/1863543.1863584},
  url = {http://doi.acm.org/10.1145/1863543.1863584},
  tags = {programming languages, semantics, translation, application framework, program verification, language design, Haskell, source-to-source, type checking, compiler, design, open-source},
  researchr = {https://researchr.org/publication/McCreightCT10},
  cites = {37},
  citedby = {0},
  pages = {273-284},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@techreport{preprint-PoulsenRTKV18,
  title = {Intrinsically-typed definitional interpreters for imperative languages},
  author = {Casper Bach Poulsen and Arjen Rouvoet and Andrew P. Tolmach and Robbert Krebbers and Eelco Visser},
  year = {2018},
  researchr = {https://researchr.org/publication/preprint-PoulsenRTKV18},
  cites = {0},
  citedby = {0},
  type = {Preprint},
}
@proceedings{icfp-2009,
  title = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  year = {2009},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/icfp-2009},
  cites = {0},
  citedby = {0},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  conference = {ICFP},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}