@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 = {POPL},
}

@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 = {PEPM},
}

@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 = {ECOOP},
}

@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 = {haskell},
}

@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 = {JFP},
  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 = {pdd},
}

@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 = {ICFP},
}

@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 = {ICFP},
}

@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 = {IFL},
}

@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 = {FLOPS},
}

@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 = {JFP},
  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 = {ENTCS},
  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 = {ECOOP},
}

@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 = {PACMPL},
  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 = {tic},
}

@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 = {POPL},
}

@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 = {OOPSLA},
}

@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 = {aplas},
}

@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 = {lfp},
}

@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 = {jcs},
  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 = {lfp},
}

@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 = {JFP},
  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 = {ESOP},
}

@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 = {ICFP},
}

@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 = {sp},
}

@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 = {JFP},
  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 = {ICFP},
}

@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},
}