BibTeX records: Andrew P. Tolmach

download as .bib file

@article{DBLP:journals/pacmpl/PoulsenRTKV18,
  author    = {Casper Bach Poulsen and
               Arjen Rouvoet and
               Andrew Tolmach and
               Robbert Krebbers and
               Eelco Visser},
  title     = {Intrinsically-typed definitional interpreters for imperative languages},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {16:1--16:34},
  year      = {2018},
  url       = {https://doi.org/10.1145/3158104},
  doi       = {10.1145/3158104},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/PoulsenRTKV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AbateABEFHLPST18,
  author    = {Carmine Abate and
               Arthur Azevedo de Amorim and
               Roberto Blanco and
               Ana Nora Evans and
               Guglielmo Fachini and
               Catalin Hritcu and
               Th{\'{e}}o Laurent and
               Benjamin C. Pierce and
               Marco Stronati and
               Andrew Tolmach},
  title     = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
               Compromise},
  booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  pages     = {1351--1368},
  year      = {2018},
  crossref  = {DBLP:conf/ccs/2018},
  url       = {https://doi.org/10.1145/3243734.3243745},
  doi       = {10.1145/3243734.3243745},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AbateABEFHLPST18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00588,
  author    = {Guglielmo Fachini and
               Catalin Hritcu and
               Marco Stronati and
               Arthur Azevedo de Amorim and
               Ana Nora Evans and
               Carmine Abate and
               Roberto Blanco and
               Th{\'{e}}o Laurent and
               Benjamin C. Pierce and
               Andrew Tolmach},
  title     = {When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
               Compromise},
  journal   = {CoRR},
  volume    = {abs/1802.00588},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.00588},
  archivePrefix = {arXiv},
  eprint    = {1802.00588},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1802-00588},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07308,
  author    = {Guglielmo Fachini and
               Catalin Hritcu and
               Marco Stronati and
               Ana Nora Evans and
               Th{\'{e}}o Laurent and
               Arthur Azevedo de Amorim and
               Benjamin C. Pierce and
               Andrew Tolmach},
  title     = {Formally Secure Compilation of Unsafe Low-Level Components (Extended
               Abstract)},
  journal   = {CoRR},
  volume    = {abs/1710.07308},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.07308},
  archivePrefix = {arXiv},
  eprint    = {1710.07308},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-07308},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PoulsenNTV16,
  author    = {Casper Bach Poulsen and
               Pierre N{\'{e}}ron and
               Andrew P. Tolmach and
               Eelco Visser},
  title     = {Scopes Describe Frames: {A} Uniform Model for Memory Layout in Dynamic
               Semantics (Artifact)},
  journal   = {{DARTS}},
  volume    = {2},
  number    = {1},
  pages     = {10:1--10:3},
  year      = {2016},
  url       = {https://doi.org/10.4230/DARTS.2.1.10},
  doi       = {10.4230/DARTS.2.1.10},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/darts/PoulsenNTV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AmorimCDDHPPPT16,
  author    = {Arthur Azevedo de Amorim and
               Nathan Collins and
               Andr{\'{e}} DeHon and
               Delphine Demange and
               Catalin Hritcu and
               David Pichardie and
               Benjamin C. Pierce and
               Randy Pollack and
               Andrew Tolmach},
  title     = {A verified information-flow architecture},
  journal   = {Journal of Computer Security},
  volume    = {24},
  number    = {6},
  pages     = {689--734},
  year      = {2016},
  url       = {https://doi.org/10.3233/JCS-15784},
  doi       = {10.3233/JCS-15784},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/AmorimCDDHPPPT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PoulsenNTV16,
  author    = {Casper Bach Poulsen and
               Pierre N{\'{e}}ron and
               Andrew P. Tolmach and
               Eelco Visser},
  title     = {Scopes Describe Frames: {A} Uniform Model for Memory Layout in Dynamic
               Semantics},
  booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
               July 18-22, 2016, Rome, Italy},
  pages     = {20:1--20:26},
  year      = {2016},
  crossref  = {DBLP:conf/ecoop/2016},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.20},
  doi       = {10.4230/LIPIcs.ECOOP.2016.20},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/PoulsenNTV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AntwerpenNTVW16,
  author    = {Hendrik van Antwerpen and
               Pierre Neron and
               Andrew P. Tolmach and
               Eelco Visser and
               Guido Wachsmuth},
  title     = {A constraint language for static semantic analysis based on scope
               graphs},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
               20 - 22, 2016},
  pages     = {49--60},
  year      = {2016},
  crossref  = {DBLP:conf/pepm/2016},
  url       = {https://doi.org/10.1145/2847538.2847543},
  doi       = {10.1145/2847538.2847543},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/AntwerpenNTVW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NeronTVW15,
  author    = {Pierre Neron and
               Andrew P. Tolmach and
               Eelco Visser and
               Guido Wachsmuth},
  title     = {A Theory of Name Resolution},
  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},
  pages     = {205--231},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_9},
  doi       = {10.1007/978-3-662-46669-8\_9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/NeronTVW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AmorimDGHPST15,
  author    = {Arthur Azevedo de Amorim and
               Maxime D{\'{e}}n{\`{e}}s and
               Nick Giannarakis and
               Catalin Hritcu and
               Benjamin C. Pierce and
               Antal Spector{-}Zabusky and
               Andrew Tolmach},
  title     = {Micro-Policies: Formally Verified, Tag-Based Security Monitors},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  pages     = {813--830},
  year      = {2015},
  crossref  = {DBLP:conf/sp/2015},
  url       = {https://doi.org/10.1109/SP.2015.55},
  doi       = {10.1109/SP.2015.55},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/AmorimDGHPST15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmorimCDDHPPPT15,
  author    = {Arthur Azevedo de Amorim and
               Nathan Collins and
               Andr{\'{e}} DeHon and
               Delphine Demange and
               Catalin Hritcu and
               David Pichardie and
               Benjamin C. Pierce and
               Randy Pollack and
               Andrew Tolmach},
  title     = {A Verified Information-Flow Architecture},
  journal   = {CoRR},
  volume    = {abs/1509.06503},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.06503},
  archivePrefix = {arXiv},
  eprint    = {1509.06503},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AmorimCDDHPPPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JuglaretHAPST15,
  author    = {Yannis Juglaret and
               Catalin Hritcu and
               Arthur Azevedo de Amorim and
               Benjamin C. Pierce and
               Antal Spector{-}Zabusky and
               Andrew Tolmach},
  title     = {Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation
               for Mutually Distrustful Components},
  journal   = {CoRR},
  volume    = {abs/1510.00697},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.00697},
  archivePrefix = {arXiv},
  eprint    = {1510.00697},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JuglaretHAPST15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DockinsT14,
  author    = {Robert Dockins and
               Andrew Tolmach},
  title     = {Suppl: {A} Flexible Language for Policies},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  pages     = {176--195},
  year      = {2014},
  crossref  = {DBLP:conf/aplas/2014},
  url       = {https://doi.org/10.1007/978-3-319-12736-1\_10},
  doi       = {10.1007/978-3-319-12736-1\_10},
  timestamp = {Fri, 19 May 2017 01:25:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/DockinsT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VisserWTNVPK14,
  author    = {Eelco Visser and
               Guido Wachsmuth and
               Andrew P. Tolmach and
               Pierre Neron and
               Vlad A. Vergu and
               Augusto Passalaqua and
               Gabri{\"{e}}l Konat},
  title     = {A Language Designer's Workbench: {A} One-Stop-Shop for Implementation
               and Verification of Language Designs},
  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},
  pages     = {95--111},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014onward},
  url       = {https://doi.org/10.1145/2661136.2661149},
  doi       = {10.1145/2661136.2661149},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/VisserWTNVPK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AmorimCDDHPPPT14,
  author    = {Arthur Azevedo de Amorim and
               Nathan Collins and
               Andr{\'{e}} DeHon and
               Delphine Demange and
               Catalin Hritcu and
               David Pichardie and
               Benjamin C. Pierce and
               Randy Pollack and
               Andrew Tolmach},
  title     = {A verified information-flow architecture},
  booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  pages     = {165--178},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {https://doi.org/10.1145/2535838.2535839},
  doi       = {10.1145/2535838.2535839},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AmorimCDDHPPPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TolmachL11,
  author    = {Andrew P. Tolmach and
               Xavier Leroy},
  title     = {Special Issue Dedicated to {ICFP} 2009 Editorial},
  journal   = {J. Funct. Program.},
  volume    = {21},
  number    = {4-5},
  pages     = {331--332},
  year      = {2011},
  url       = {https://doi.org/10.1017/S0956796811000190},
  doi       = {10.1017/S0956796811000190},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/TolmachL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/McCreightCT10,
  author    = {Andrew McCreight and
               Tim Chevalier and
               Andrew P. Tolmach},
  title     = {A certified framework for compiling and executing garbage-collected
               languages},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  pages     = {273--284},
  year      = {2010},
  crossref  = {DBLP:conf/icfp/2010},
  url       = {https://doi.org/10.1145/1863543.1863584},
  doi       = {10.1145/1863543.1863584},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/McCreightCT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  timestamp = {Tue, 22 Sep 2009 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LiMJT07,
  author    = {Peng Li and
               Simon Marlow and
               Simon L. {Peyton Jones} and
               Andrew P. Tolmach},
  title     = {Lightweight concurrency primitives for {GHC}},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007,
               Freiburg, Germany, September 30, 2007},
  pages     = {107--118},
  year      = {2007},
  crossref  = {DBLP:conf/haskell/2007},
  url       = {https://doi.org/10.1145/1291201.1291217},
  doi       = {10.1145/1291201.1291217},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/LiMJT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DiatchkiHJLT07,
  author    = {Iavor S. Diatchki and
               Thomas Hallgren and
               Mark P. Jones and
               Rebekah Leslie and
               Andrew Tolmach},
  title     = {Writing systems software in a functional language: an experience report},
  booktitle = {Proceedings of the 4th workshop on Programming languages and operating
               systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
  pages     = {1:1--1:5},
  year      = {2007},
  crossref  = {DBLP:conf/sosp/2007plos},
  url       = {https://doi.org/10.1145/1376789.1376791},
  doi       = {10.1145/1376789.1376791},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/DiatchkiHJLT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HallgrenJLT05,
  author    = {Thomas Hallgren and
               Mark P. Jones and
               Rebekah Leslie and
               Andrew P. Tolmach},
  title     = {A principled approach to operating system construction in Haskell},
  booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  pages     = {116--128},
  year      = {2005},
  crossref  = {DBLP:conf/icfp/2005},
  url       = {https://doi.org/10.1145/1086365.1086380},
  doi       = {10.1145/1086365.1086380},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HallgrenJLT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/TolmachAN04,
  author    = {Andrew P. Tolmach and
               Sergio Antoy and
               Marius Nita},
  title     = {Implementing functional logic languages using multiple threads and
               stores},
  booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
               19-21, 2004},
  pages     = {90--102},
  year      = {2004},
  crossref  = {DBLP:conf/icfp/2004},
  url       = {https://doi.org/10.1145/1016850.1016865},
  doi       = {10.1145/1016850.1016865},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/TolmachAN04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AntoyHLT04,
  author    = {Sergio Antoy and
               Michael Hanus and
               Jimeng Liu and
               Andrew P. Tolmach},
  title     = {A Virtual Machine for Functional Logic Computations},
  booktitle = {Implementation and Application of Functional Languages, 16th International
               Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
               2004, Revised Selected Papers},
  pages     = {108--125},
  year      = {2004},
  crossref  = {DBLP:conf/ifl/2004},
  url       = {https://doi.org/10.1007/11431664\_7},
  doi       = {10.1007/11431664\_7},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/AntoyHLT04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/TolmachA03,
  author    = {Andrew P. Tolmach and
               Sergio Antoy},
  title     = {A monadic semantics for core Curry},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {86},
  number    = {3},
  pages     = {16--34},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)80691-1},
  doi       = {10.1016/S1571-0661(04)80691-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/TolmachA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NordinT01,
  author    = {Thomas Nordin and
               Andrew P. Tolmach},
  title     = {Modular lazy search for Constraint Satisfaction Problems},
  journal   = {J. Funct. Program.},
  volume    = {11},
  number    = {5},
  pages     = {557--587},
  year      = {2001},
  url       = {https://doi.org/10.1017/S0956796801004051},
  doi       = {10.1017/S0956796801004051},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/NordinT01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AntoyT99,
  author    = {Sergio Antoy and
               Andrew P. Tolmach},
  title     = {Typed Higher-Order Narrowing without Higher-Order Strategies},
  booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
               FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  pages     = {335--353},
  year      = {1999},
  crossref  = {DBLP:conf/flops/1999},
  url       = {https://doi.org/10.1007/10705424\_22},
  doi       = {10.1007/10705424\_22},
  timestamp = {Fri, 02 Nov 2018 09:35:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/flops/AntoyT99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TolmachO98,
  author    = {Andrew P. Tolmach and
               Dino Oliva},
  title     = {From {ML} to Ada: Strongly-Typed Language Interoperability via Source
               Translation},
  journal   = {J. Funct. Program.},
  volume    = {8},
  number    = {4},
  pages     = {367--412},
  year      = {1998},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=44181},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/TolmachO98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VisserBT98,
  author    = {Eelco Visser and
               Zine{-}El{-}Abidine Benaissa and
               Andrew P. Tolmach},
  title     = {Building Program Optimizers with Rewriting Strategies},
  booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
               September 27-29, 1998.},
  pages     = {13--26},
  year      = {1998},
  crossref  = {DBLP:conf/icfp/1998},
  url       = {https://doi.org/10.1145/289423.289425},
  doi       = {10.1145/289423.289425},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/VisserBT98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JonesSLT98,
  author    = {Simon L. {Peyton Jones} and
               Mark Shields and
               John Launchbury and
               Andrew P. Tolmach},
  title     = {Bridging the Gulf: {A} Common Intermediate Language for {ML} and Haskell},
  booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Diego, CA, USA, January
               19-21, 1998},
  pages     = {49--61},
  year      = {1998},
  crossref  = {DBLP:conf/popl/1998},
  url       = {https://doi.org/10.1145/268946.268951},
  doi       = {10.1145/268946.268951},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/JonesSLT98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/Tolmach98,
  author    = {Andrew P. Tolmach},
  title     = {Optimizing {ML} Using a Hierarchy of Monadic Types},
  booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
               Japan, March 25-27, 1998, Proceedings},
  pages     = {97--115},
  year      = {1998},
  crossref  = {DBLP:conf/tic/1998},
  url       = {https://doi.org/10.1007/BFb0055514},
  doi       = {10.1007/BFb0055514},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tic/Tolmach98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TolmachA95,
  author    = {Andrew P. Tolmach and
               Andrew W. Appel},
  title     = {A Debugger for Standard {ML}},
  journal   = {J. Funct. Program.},
  volume    = {5},
  number    = {2},
  pages     = {155--200},
  year      = {1995},
  url       = {https://doi.org/10.1017/S0956796800001313},
  doi       = {10.1017/S0956796800001313},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/TolmachA95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Tolmach94,
  author    = {Andrew P. Tolmach},
  title     = {Tag-Free Garbage Collection Using Explicit Type Parameters},
  booktitle = {{LISP} and Functional Programming},
  pages     = {1--11},
  year      = {1994},
  url       = {https://doi.org/10.1145/182409.182411},
  doi       = {10.1145/182409.182411},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/Tolmach94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MorrisettT93,
  author    = {J. Gregory Morrisett and
               Andrew P. Tolmach},
  title     = {Procs and Locks: {A} Portable Multiprocessing Platform for Standard
               {ML} of New Jersey},
  booktitle = {Proceedings of the Fourth {ACM} {SIGPLAN} Symposium on Principles
               {\&} Practice of Parallel Programming (PPOPP), San Diego, California,
               USA, May 19-22, 1993},
  pages     = {198--207},
  year      = {1993},
  crossref  = {DBLP:conf/ppopp/1993},
  url       = {https://doi.org/10.1145/155332.155353},
  doi       = {10.1145/155332.155353},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/MorrisettT93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdd/TolmachA91,
  author    = {Andrew P. Tolmach and
               Andrew W. Appel},
  title     = {Debuggable Concurrency Extensions for Standard {ML}},
  booktitle = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
               Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  pages     = {120--131},
  year      = {1991},
  crossref  = {DBLP:conf/pdd/1991},
  url       = {https://doi.org/10.1145/122759.122770},
  doi       = {10.1145/122759.122770},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdd/TolmachA91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TolmachA90,
  author    = {Andrew P. Tolmach and
               Andrew W. Appel},
  title     = {Debugging Standard {ML} Without Reverse Engineering},
  booktitle = {{LISP} and Functional Programming},
  pages     = {1--12},
  year      = {1990},
  url       = {https://doi.org/10.1145/91556.91564},
  doi       = {10.1145/91556.91564},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/TolmachA90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2018,
  editor    = {David Lie and
               Mohammad Mannan and
               Michael Backes and
               XiaoFeng Wang},
  title     = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3243734},
  isbn      = {978-1-4503-5693-0},
  timestamp = {Wed, 31 Oct 2018 17:23:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2016,
  editor    = {Shriram Krishnamurthi and
               Benjamin S. Lerner},
  title     = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
               July 18-22, 2016, Rome, Italy},
  series    = {LIPIcs},
  volume    = {56},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-014-9},
  isbn      = {978-3-95977-014-9},
  timestamp = {Wed, 20 Jul 2016 15:19:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2016,
  editor    = {Martin Erwig and
               Tiark Rompf},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January
               20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2847538},
  isbn      = {978-1-4503-4097-7},
  timestamp = {Fri, 08 Jan 2016 18:25:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2015,
  title     = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7160813},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2014,
  editor    = {Jacques Garrigue},
  title     = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8858},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12736-1},
  doi       = {10.1007/978-3-319-12736-1},
  isbn      = {978-3-319-12735-4},
  timestamp = {Fri, 19 May 2017 01:25:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014onward,
  editor    = {Andrew P. Black and
               Shriram Krishnamurthi and
               Bernd Bruegge and
               Joseph N. Ruskiewicz},
  title     = {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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2661136},
  isbn      = {978-1-4503-3210-1},
  timestamp = {Thu, 07 Apr 2016 13:06:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2014onward},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010,
  editor    = {Paul Hudak and
               Stephanie Weirich},
  title     = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
               27-29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-794-3},
  timestamp = {Fri, 08 Oct 2010 07:46:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2007,
  editor    = {Gabriele Keller},
  title     = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2007,
               Freiburg, Germany, September 30, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-674-5},
  timestamp = {Wed, 31 Oct 2007 14:57:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2007plos,
  editor    = {Eric Eide and
               Marc E. Fiuczynski},
  title     = {Proceedings of the 4th workshop on Programming languages and operating
               systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1376789},
  doi       = {10.1145/1376789},
  isbn      = {978-1-59593-922-7},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/2007plos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2005,
  editor    = {Olivier Danvy and
               Benjamin C. Pierce},
  title     = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
               2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-064-7},
  timestamp = {Thu, 06 Oct 2005 13:23:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2004,
  editor    = {Chris Okasaki and
               Kathleen Fisher},
  title     = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
               19-21, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-905-5},
  timestamp = {Thu, 25 Nov 2004 10:56:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2004,
  editor    = {Clemens Grelck and
               Frank Huch and
               Greg Michaelson and
               Philip W. Trinder},
  title     = {Implementation and Application of Functional Languages, 16th International
               Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
               2004, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3474},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136772},
  doi       = {10.1007/b136772},
  isbn      = {3-540-26094-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1999,
  editor    = {Aart Middeldorp and
               Taisuke Sato},
  title     = {Functional and Logic Programming, 4th Fuji International Symposium,
               FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1722},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/10705424},
  doi       = {10.1007/10705424},
  isbn      = {3-540-66677-X},
  timestamp = {Fri, 02 Nov 2018 09:35:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/flops/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1998,
  editor    = {Matthias Felleisen and
               Paul Hudak and
               Christian Queinnec},
  title     = {Proceedings of the third {ACM} {SIGPLAN} International Conference
               on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
               September 27-29, 1998},
  publisher = {{ACM}},
  year      = {1998},
  isbn      = {1-58113-024-4},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1998,
  editor    = {David B. MacQueen and
               Luca Cardelli},
  title     = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Diego, CA, USA, January
               19-21, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=268946},
  isbn      = {0-89791-979-3},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tic/1998,
  editor    = {Xavier Leroy and
               Atsushi Ohori},
  title     = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
               Japan, March 25-27, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1473},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055508},
  doi       = {10.1007/BFb0055508},
  isbn      = {3-540-64925-5},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tic/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppopp/1993,
  editor    = {Marina C. Chen and
               Robert Halstead},
  title     = {Proceedings of the Fourth {ACM} {SIGPLAN} Symposium on Principles
               {\&} Practice of Parallel Programming (PPOPP), San Diego, California,
               USA, May 19-22, 1993},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=155332},
  isbn      = {0-89791-589-5},
  timestamp = {Tue, 22 May 2012 17:16:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdd/1991,
  editor    = {Barton P. Miller and
               Charles E. McDowell},
  title     = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
               Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  publisher = {{ACM}},
  year      = {1991},
  url       = {http://dl.acm.org/citation.cfm?id=122759},
  isbn      = {0-89791-457-0},
  timestamp = {Mon, 15 Jun 2015 11:59:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdd/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier