@inproceedings{Pierce05,
  title = {Harmony: The Art of Reconciliation},
  author = {Benjamin C. Pierce},
  year = {2005},
  doi = {10.1007/11580850_1},
  url = {http://dx.doi.org/10.1007/11580850_1},
  tags = {C++},
  researchr = {https://researchr.org/publication/Pierce05},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
  editor = {Rocco De Nicola and Davide Sangiorgi},
  volume = {3705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30007-4},
}

@article{FosterGMPS07,
  title = {Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem},
  author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
  year = {2007},
  doi = {10.1145/1232420.1232424},
  url = {http://doi.acm.org/10.1145/1232420.1232424},
  tags = {programming languages, bidirectional transformation, translation, data-flow language, generic programming, transformation language, composition, functional programming, language design, data-flow programming, data-flow, C++, programming, design, systematic-approach, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/FosterGMPS07},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {29},
  number = {3},
  pages = {17},
}

@article{AbadiPP91,
  title = {Faithful Ideal Models for Recursive Polymorphic Types},
  author = {Martín Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiPP91},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {2},
  number = {1},
  pages = {1-21},
}

@inproceedings{FosterGKPS05,
  title = {Exploiting Schemas in Data Synchronization},
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
  year = {2005},
  doi = {10.1007/11601524_3},
  url = {http://dx.doi.org/10.1007/11601524_3},
  tags = {synchronization, XML, XML Schema, data-flow, C++},
  researchr = {https://researchr.org/publication/FosterGKPS05},
  cites = {0},
  citedby = {0},
  pages = {42-57},
  booktitle = {Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
  editor = {Gavin M. Bierman and Christoph Koch},
  volume = {3774},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30951-9},
}

@inproceedings{Pierce12-1,
  title = {Linguistic foundations for bidirectional transformations: invited tutorial},
  author = {Benjamin C. Pierce},
  year = {2012},
  doi = {10.1145/2213556.2213568},
  url = {http://doi.acm.org/10.1145/2213556.2213568},
  researchr = {https://researchr.org/publication/Pierce12-1},
  cites = {0},
  citedby = {0},
  pages = {61-64},
  booktitle = {Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012,  Scottsdale, AZ, USA, May 20-24, 2012},
  editor = {Michael Benedikt and Markus Krötzsch and Maurizio Lenzerini},
  publisher = {ACM},
  isbn = {978-1-4503-1248-6},
}

@inproceedings{MontaguPP13,
  title = {A Theory of Information-Flow Labels},
  author = {Benoît Montagu and Benjamin C. Pierce and Randy Pollack},
  year = {2013},
  doi = {10.1109/CSF.2013.8},
  url = {http://dx.doi.org/10.1109/CSF.2013.8},
  researchr = {https://researchr.org/publication/MontaguPP13},
  cites = {0},
  citedby = {0},
  pages = {3-17},
  booktitle = {2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013},
  publisher = {IEEE},
  isbn = {978-0-7695-5031-2},
}

@inproceedings{HarperP91:0,
  title = {A Record Calculus Based on Symmetric Concatenation},
  author = {Robert Harper and Benjamin C. Pierce},
  year = {1991},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/HarperP91%3A0},
  cites = {0},
  citedby = {0},
  pages = {131-142},
  booktitle = {POPL},
}

@inproceedings{BunemanP99,
  title = {Union Types for Semistructured Data},
  author = {Peter Buneman and Benjamin C. Pierce},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1949/19490184.htm},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/BunemanP99},
  cites = {0},
  citedby = {0},
  pages = {184-207},
  booktitle = {Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL 99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
  editor = {Richard C. H. Connor and Alberto O. Mendelzon},
  volume = {1949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41481-9},
}

@book{0005958,
  title = {Types and programming languages},
  author = {Benjamin C. Pierce},
  year = {2002},
  tags = {programming languages, C++, programming},
  researchr = {https://researchr.org/publication/0005958},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-16209-8},
}

@inproceedings{GapeyevLPS05,
  title = {XML Goes Native: Run-Time Representations for Xtatic},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=43},
  tags = {XML, XML Schema, C++},
  researchr = {https://researchr.org/publication/GapeyevLPS05},
  cites = {0},
  citedby = {0},
  pages = {43-58},
  booktitle = {Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Rastislav Bodík},
  volume = {3443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25411-0},
}

@inproceedings{PierceT98,
  title = {Local Type Inference},
  author = {Benjamin C. Pierce and David N. Turner},
  year = {1998},
  doi = {10.1145/268946.268967},
  url = {http://doi.acm.org/10.1145/268946.268967},
  tags = {type inference, C++, local type inference},
  researchr = {https://researchr.org/publication/PierceT98},
  cites = {0},
  citedby = {0},
  pages = {252-265},
  booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@inproceedings{LampropoulosGHH17,
  title = {Beginner's luck: a language for property-based generators},
  author = {Leonidas Lampropoulos and Diane Gallois-Wong and Catalin Hritcu and John Hughes and Benjamin C. Pierce and Li-yao Xia},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009868},
  researchr = {https://researchr.org/publication/LampropoulosGHH17},
  cites = {0},
  citedby = {0},
  pages = {114-129},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}

@inproceedings{SumiiP04,
  title = {A bisimulation for dynamic sealing},
  author = {Eijiro Sumii and Benjamin C. Pierce},
  year = {2004},
  doi = {10.1145/964001.964015},
  url = {http://doi.acm.org/10.1145/964001.964015},
  tags = {C++},
  researchr = {https://researchr.org/publication/SumiiP04},
  cites = {0},
  citedby = {0},
  pages = {161-172},
  booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004},
  editor = {Neil D. Jones and Xavier Leroy},
  publisher = {ACM},
  isbn = {1-58113-729-X},
}

@book{PierceSF2,
  title = {Programming Language Foundations},
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and Catalin Hritcu and Vilhelm Sjöberg and Andrew Tolmach and  Brent Yorgey},
  year = {2018},
  month = {May},
  note = {Version 5.5. \url{http://www.cis.upenn.edu/~bcpierce/sf}},
  researchr = {https://researchr.org/publication/PierceSF2},
  cites = {0},
  citedby = {0},
  series = {Software Foundations series, volume 2},
  address = {Philadelphia, USA},
  publisher = {Electronic textbook},
}

@inproceedings{Pierce12-0,
  title = {Verification challenges of pervasive information flow},
  author = {Benjamin C. Pierce},
  year = {2012},
  doi = {10.1145/2103776.2103778},
  url = {http://doi.acm.org/10.1145/2103776.2103778},
  researchr = {https://researchr.org/publication/Pierce12-0},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012},
  editor = {Koen Claessen and Nikhil Swamy},
  publisher = {ACM},
  isbn = {978-1-4503-1125-0},
}

@article{GhelliP98,
  title = {Bounded Existentials and Minimal Typing},
  author = {Giorgio Ghelli and Benjamin C. Pierce},
  year = {1998},
  doi = {10.1016/S0304-3975(96)00300-3},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00300-3},
  tags = {C++},
  researchr = {https://researchr.org/publication/GhelliP98},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {193},
  number = {1-2},
  pages = {75-96},
}

@article{CompagnoniP96,
  title = {Higher-Order Intersection Types and Multiple Inheritance},
  author = {Adriana B. Compagnoni and Benjamin C. Pierce},
  year = {1996},
  tags = {C++},
  researchr = {https://researchr.org/publication/CompagnoniP96},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {6},
  number = {5},
  pages = {469-501},
}

@book{0069193,
  title = {Basic category theory for computer scientists},
  author = {Benjamin C. Pierce},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/0069193},
  cites = {0},
  citedby = {0},
  series = {Foundations of computing},
  publisher = {MIT Press},
  isbn = {978-0-262-66071-6},
}

@inproceedings{AbadiCPP89,
  title = {Dynamic Typing in a Statically-Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPP89},
  cites = {0},
  citedby = {0},
  pages = {213-227},
  booktitle = {POPL},
}

@inproceedings{DhawanHRVCSKPD15,
  title = {Architectural Support for Software-Defined Metadata Processing},
  author = {Udit Dhawan and Catalin Hritcu and Raphael Rubin and Nikos Vasilakis and Silviu Chiricescu and Jonathan M. Smith and Thomas F. Knight Jr. and Benjamin C. Pierce and André DeHon},
  year = {2015},
  doi = {10.1145/2694344.2694383},
  url = {http://doi.acm.org/10.1145/2694344.2694383},
  researchr = {https://researchr.org/publication/DhawanHRVCSKPD15},
  cites = {0},
  citedby = {0},
  pages = {487-502},
  booktitle = {Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015},
  editor = {Özcan Özturk and Kemal Ebcioglu and Sandhya Dwarkadas},
  publisher = {ACM},
  isbn = {978-1-4503-2835-7},
}

@inproceedings{PierceS97:0,
  title = {Behavioral Equivalence in the Polymorphic Pi-calculus},
  author = {Benjamin C. Pierce and Davide Sangiorgi},
  year = {1997},
  doi = {10.1145/263699.263729},
  url = {http://doi.acm.org/10.1145/263699.263729},
  tags = {C++},
  researchr = {https://researchr.org/publication/PierceS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {242-255},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{FosterGMPS05,
  title = {Combinators for bi-directional tree transformations: a linguistic approach to the view update problem},
  author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
  year = {2005},
  doi = {10.1145/1040305.1040325},
  url = {http://doi.acm.org/10.1145/1040305.1040325},
  tags = {C++, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/FosterGMPS05},
  cites = {0},
  citedby = {0},
  pages = {233-246},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@article{BartheGHP16,
  title = {Programming language techniques for differential privacy},
  author = {Gilles Barthe and Marco Gaboardi and Justin Hsu and Benjamin C. Pierce},
  year = {2016},
  doi = {10.1145/2893582.2893591},
  url = {http://doi.acm.org/10.1145/2893582.2893591},
  researchr = {https://researchr.org/publication/BartheGHP16},
  cites = {0},
  citedby = {0},
  journal = {SIGLOG News},
  volume = {3},
  number = {1},
  pages = {34-53},
}

@inproceedings{CastagnaP94,
  title = {Decidable Bounded Quantification},
  author = {Giuseppe Castagna and Benjamin C. Pierce},
  year = {1994},
  tags = {C++},
  researchr = {https://researchr.org/publication/CastagnaP94},
  cites = {0},
  citedby = {0},
  pages = {151-162},
  booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{SumiiP05,
  title = {A bisimulation for type abstraction and recursion},
  author = {Eijiro Sumii and Benjamin C. Pierce},
  year = {2005},
  doi = {10.1145/1040305.1040311},
  url = {http://doi.acm.org/10.1145/1040305.1040311},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/SumiiP05},
  cites = {0},
  citedby = {0},
  pages = {63-74},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@article{BruceCCESTLP95,
  title = {On Binary Methods},
  author = {Kim B. Bruce and Luca Cardelli and Giuseppe Castagna and Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Gary T. Leavens and Benjamin C. Pierce},
  year = {1995},
  tags = {C++},
  researchr = {https://researchr.org/publication/BruceCCESTLP95},
  cites = {0},
  citedby = {0},
  journal = {TAPOS},
  volume = {1},
  number = {3},
  pages = {221-242},
}

@inproceedings{HsuGHKNPR14,
  title = {Differential Privacy: An Economic Method for Choosing Epsilon},
  author = {Justin Hsu and Marco Gaboardi and Andreas Haeberlen and Sanjeev Khanna and Arjun Narayan and Benjamin C. Pierce and Aaron Roth},
  year = {2014},
  doi = {10.1109/CSF.2014.35},
  url = {http://dx.doi.org/10.1109/CSF.2014.35},
  researchr = {https://researchr.org/publication/HsuGHKNPR14},
  cites = {0},
  citedby = {0},
  pages = {398-410},
  booktitle = {IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014},
  publisher = {IEEE},
}

@inproceedings{GaboardiHHNP13,
  title = {Linear dependent types for differential privacy},
  author = {Marco Gaboardi and Andreas Haeberlen and Justin Hsu and Arjun Narayan and Benjamin C. Pierce},
  year = {2013},
  doi = {10.1145/2429069.2429113},
  url = {http://doi.acm.org/10.1145/2429069.2429113},
  researchr = {https://researchr.org/publication/GaboardiHHNP13},
  cites = {0},
  citedby = {0},
  pages = {357-370},
  booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013},
  editor = {Roberto Giacobazzi and Radhia Cousot},
  publisher = {ACM},
  isbn = {978-1-4503-1832-7},
}

@article{BruceCP99,
  title = {Comparing Object Encodings},
  author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
  year = {1999},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BruceCP99},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {155},
  number = {1-2},
  pages = {108-133},
}

@article{PierceW12,
  title = {Preface},
  author = {Benjamin C. Pierce and Stephanie Weirich},
  year = {2012},
  doi = {10.1007/s10817-012-9254-5},
  url = {http://dx.doi.org/10.1007/s10817-012-9254-5},
  researchr = {https://researchr.org/publication/PierceW12},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {49},
  number = {3},
  pages = {301-302},
}

@inproceedings{Pierce09-1,
  title = {Lambda, the ultimate TA: using a proof assistant to teach programming language foundations},
  author = {Benjamin C. Pierce},
  year = {2009},
  doi = {10.1145/1596550.1596552},
  url = {http://doi.acm.org/10.1145/1596550.1596552},
  tags = {programming languages, proof assistant, C++, programming},
  researchr = {https://researchr.org/publication/Pierce09-1},
  cites = {0},
  citedby = {0},
  pages = {121-122},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@inproceedings{HughesPAN16,
  title = {Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service},
  author = {John Hughes and Benjamin C. Pierce and Thomas Arts and Ulf Norell},
  year = {2016},
  doi = {10.1109/ICST.2016.37},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2016.37},
  researchr = {https://researchr.org/publication/HughesPAN16},
  cites = {0},
  citedby = {0},
  pages = {135-145},
  booktitle = {2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-1827-7},
}

@inproceedings{ReedP10,
  title = {Distance makes the types grow stronger: a calculus for differential privacy},
  author = {Jason Reed and Benjamin C. Pierce},
  year = {2010},
  doi = {10.1145/1863543.1863568},
  url = {http://doi.acm.org/10.1145/1863543.1863568},
  tags = {C++},
  researchr = {https://researchr.org/publication/ReedP10},
  cites = {0},
  citedby = {0},
  pages = {157-168},
  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},
}

@inproceedings{Pierce06,
  title = {The Weird World of Bi-directional Programming},
  author = {Benjamin C. Pierce},
  year = {2006},
  doi = {10.1007/11693024_23},
  url = {http://dx.doi.org/10.1007/11693024_23},
  tags = {C++, programming},
  researchr = {https://researchr.org/publication/Pierce06},
  cites = {0},
  citedby = {0},
  pages = {342},
  booktitle = {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},
  editor = {Peter Sestoft},
  volume = {3924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33095-X},
}

@inproceedings{PierceT93,
  title = {Object-Oriented Programming without Recursive Types},
  author = {Benjamin C. Pierce and David N. Turner},
  year = {1993},
  tags = {object-oriented programming, meta programming, C++, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/PierceT93},
  cites = {0},
  citedby = {0},
  pages = {299-312},
  booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@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{PierceV01,
  title = {Unison: A File Synchronizer and Its Specification},
  author = {Benjamin C. Pierce and Jérôme Vouillon},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2215/22150560.htm},
  tags = {synchronization, C++},
  researchr = {https://researchr.org/publication/PierceV01},
  cites = {0},
  citedby = {0},
  pages = {560},
  booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  editor = {Naoki Kobayashi and Benjamin C. Pierce},
  volume = {2215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42736-8},
}

@inproceedings{SchoepeBPS16,
  title = {Explicit Secrecy: A Policy for Taint Tracking},
  author = {Daniel Schoepe and Musard Balliu and Benjamin C. Pierce and Andrei Sabelfeld},
  year = {2016},
  doi = {10.1109/EuroSP.2016.14},
  url = {http://dx.doi.org/10.1109/EuroSP.2016.14},
  researchr = {https://researchr.org/publication/SchoepeBPS16},
  cites = {0},
  citedby = {0},
  pages = {15-30},
  booktitle = {IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016},
  publisher = {IEEE},
  isbn = {978-1-5090-1752-2},
}

@article{LampropoulosPP18,
  title = {Generating good generators for inductive relations},
  author = {Leonidas Lampropoulos and Zoe Paraskevopoulou and Benjamin C. Pierce},
  year = {2018},
  doi = {10.1145/3158133},
  url = {http://doi.acm.org/10.1145/3158133},
  researchr = {https://researchr.org/publication/LampropoulosPP18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{Pierce03:3,
  title = {Types and Programming Languages: The Next Generation},
  author = {Benjamin C. Pierce},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840032abs.htm},
  tags = {programming languages, C++, programming},
  researchr = {https://researchr.org/publication/Pierce03%3A3},
  cites = {0},
  citedby = {0},
  pages = {32},
  booktitle = {18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1884-2},
}

@inproceedings{HarperP00,
  title = {Advanced module systems: a guide for the perplexed (abstract of invited talk)},
  author = {Robert Harper and Benjamin C. Pierce},
  year = {2000},
  doi = {10.1145/351240.351252},
  url = {http://doi.acm.org/10.1145/351240.351252},
  tags = {C++},
  researchr = {https://researchr.org/publication/HarperP00},
  cites = {0},
  citedby = {0},
  pages = {130},
  booktitle = {ICFP},
}

@inproceedings{Pierce92:0,
  title = {Bounded Quantification is Undecidable},
  author = {Benjamin C. Pierce},
  year = {1992},
  tags = {C++},
  researchr = {https://researchr.org/publication/Pierce92%3A0},
  cites = {0},
  citedby = {0},
  pages = {305-315},
  booktitle = {POPL},
}

@article{LevinP03,
  title = {TinkerType: a language for playing with formal systems},
  author = {Michael Y. Levin and Benjamin C. Pierce},
  year = {2003},
  doi = {10.1017/S0956796802004550},
  url = {http://dx.doi.org/10.1017/S0956796802004550},
  tags = {control systems, semantics, type inference, rule-based, application framework, formal semantics, type system, rules, C++, subtyping, type checking, consistency, operational semantics, logic},
  researchr = {https://researchr.org/publication/LevinP03},
  cites = {31},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {2},
  pages = {295-316},
}

@inproceedings{BeloGIP11,
  title = {Polymorphic Contracts},
  author = {João Filipe Belo and Michael Greenberg and Atsushi Igarashi and Benjamin C. Pierce},
  year = {2011},
  doi = {10.1007/978-3-642-19718-5_2},
  url = {http://dx.doi.org/10.1007/978-3-642-19718-5_2},
  tags = {contracts, C++},
  researchr = {https://researchr.org/publication/BeloGIP11},
  cites = {0},
  citedby = {0},
  pages = {18-37},
  booktitle = {Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings},
  editor = {Gilles Barthe},
  volume = {6602},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-19717-8},
}

@article{AbadiCPR95,
  title = {Dynamic Typing in Polymorphic Languages},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Didier Rémy},
  year = {1995},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPR95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {5},
  number = {1},
  pages = {111-130},
}

@inproceedings{FosterPZ09,
  title = {Updatable Security Views},
  author = {J. Nathan Foster and Benjamin C. Pierce and Steve Zdancewic},
  year = {2009},
  doi = {10.1109/CSF.2009.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2009.25},
  tags = {C++, security},
  researchr = {https://researchr.org/publication/FosterPZ09},
  cites = {0},
  citedby = {0},
  pages = {60-74},
  booktitle = {Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3712-2},
}

@inproceedings{HosoyaVP00,
  title = {Regular expression types for XML},
  author = {Haruo Hosoya and Jerome Vouillon and Benjamin C. Pierce},
  year = {2000},
  doi = {10.1145/351240.351242},
  url = {http://doi.acm.org/10.1145/351240.351242},
  tags = {XML, XML Schema, C++},
  researchr = {https://researchr.org/publication/HosoyaVP00},
  cites = {0},
  citedby = {1},
  pages = {11-22},
  booktitle = {ICFP},
}

@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{HaeberlenPN11,
  title = {Differential Privacy Under Fire},
  author = {Andreas Haeberlen and Benjamin C. Pierce and Arjun Narayan},
  year = {2011},
  url = {http://static.usenix.org/events/sec11/tech/full_papers/Haeberlen.pdf},
  researchr = {https://researchr.org/publication/HaeberlenPN11},
  cites = {0},
  citedby = {0},
  booktitle = {20th USENIX Security Symposium, San Francisco, CA, USA, August 8-12, 2011, Proceedings},
  publisher = {USENIX Association},
}

@inproceedings{AmorimHP18,
  title = {The Meaning of Memory Safety},
  author = {Arthur Azevedo de Amorim and Catalin Hritcu and Benjamin C. Pierce},
  year = {2018},
  doi = {10.1007/978-3-319-89722-6_4},
  url = {https://doi.org/10.1007/978-3-319-89722-6_4},
  researchr = {https://researchr.org/publication/AmorimHP18},
  cites = {0},
  citedby = {0},
  pages = {79-105},
  booktitle = {Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  editor = {Lujo Bauer and Ralf Küsters},
  volume = {10804},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-89722-6},
}

@inproceedings{Pierce98,
  title = {Type Systems for Concurrent Calculi (Abstract)},
  author = {Benjamin C. Pierce},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1466/14660364.htm},
  tags = {type system, C++},
  researchr = {https://researchr.org/publication/Pierce98},
  cites = {0},
  citedby = {0},
  pages = {364-365},
  booktitle = {CONCUR  98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings},
  editor = {Davide Sangiorgi and Robert de Simone},
  volume = {1466},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64896-8},
}

@inproceedings{BohannonPV06,
  title = {Relational lenses: a language for updatable views},
  author = {Aaron Bohannon and Benjamin C. Pierce and Jeffrey A. Vaughan},
  year = {2006},
  doi = {10.1145/1142351.1142399},
  url = {http://doi.acm.org/10.1145/1142351.1142399},
  tags = {C++, lenses},
  researchr = {https://researchr.org/publication/BohannonPV06},
  cites = {0},
  citedby = {0},
  pages = {338-347},
  booktitle = {Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA},
  editor = {Stijn Vansummeren},
  publisher = {ACM},
  isbn = {1-59593-318-2},
}

@inproceedings{HosoyaP00a,
  title = {XDuce: A Typed XML Processing Language (Preliminary Report)},
  author = {Haruo Hosoya and Benjamin C. Pierce},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1997/19970226.htm},
  tags = {XML, XML Schema, C++},
  researchr = {https://researchr.org/publication/HosoyaP00a},
  cites = {0},
  citedby = {0},
  pages = {226-244},
  booktitle = {The World Wide Web and Databases, Third International Workshop WebDB 2000, Dallas, Texas, USA, Maaay 18-19, 2000, Selected Papers},
  editor = {Dan Suciu and Gottfried Vossen},
  volume = {1997},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41826-1},
}

@article{PierceS00,
  title = {Behavioral equivalence in the polymorphic pi-calculus},
  author = {Benjamin C. Pierce and Davide Sangiorgi},
  year = {2000},
  doi = {10.1145/337244.337261},
  url = {http://doi.acm.org/10.1145/337244.337261},
  tags = {C++},
  researchr = {https://researchr.org/publication/PierceS00},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {47},
  number = {3},
  pages = {531-584},
}

@article{BruceP98,
  title = {Editorial - Third Workshop on Foundations of Object-Oriented Languages},
  author = {Kim B. Bruce and Benjamin C. Pierce},
  year = {1998},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BruceP98},
  cites = {0},
  citedby = {0},
  journal = {TAPOS},
  volume = {4},
  number = {1},
  pages = {1},
}

@article{KobayashiP03,
  title = {Information and Computation special issue from TACS 2001},
  author = {Naoki Kobayashi and Benjamin C. Pierce},
  year = {2003},
  doi = {10.1016/S0890-5401(03)00173-1},
  url = {http://dx.doi.org/10.1016/S0890-5401(03)00173-1},
  tags = {C++},
  researchr = {https://researchr.org/publication/KobayashiP03},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {186},
  number = {2},
  pages = {163-164},
}

@article{SumiiP03,
  title = {Logical Relations for Encryption},
  author = {Eijiro Sumii and Benjamin C. Pierce},
  year = {2003},
  tags = {C++},
  researchr = {https://researchr.org/publication/SumiiP03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Security},
  volume = {11},
  number = {4},
  pages = {521-554},
}

@inproceedings{HosoyaP01,
  title = {Regular expression pattern matching for XML},
  author = {Haruo Hosoya and Benjamin C. Pierce},
  year = {2001},
  doi = {10.1145/360204.360209},
  url = {http://doi.acm.org/10.1145/360204.360209},
  tags = {XML, XML Schema, C++, pattern matching},
  researchr = {https://researchr.org/publication/HosoyaP01},
  cites = {0},
  citedby = {0},
  pages = {67-80},
  booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  series = {POPL},
  publisher = {Association for Computing Machinery},
}

@inproceedings{PierceSWZ05,
  title = {It Is Time to Mechanize Programming Language Metatheory},
  author = {Benjamin C. Pierce and Peter Sewell and Stephanie Weirich and Steve Zdancewic},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_3},
  url = {http://dx.doi.org/10.1007/978-3-540-69149-5_3},
  tags = {programming languages, program verification, C++, metatheory, programming},
  researchr = {https://researchr.org/publication/PierceSWZ05},
  cites = {22},
  citedby = {0},
  pages = {26-30},
  booktitle = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@article{PierceT94,
  title = {Simple Type-Theoretic Foundations for Object-Oriented Programming},
  author = {Benjamin C. Pierce and David N. Turner},
  year = {1994},
  tags = {object-oriented programming, meta programming, C++, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/PierceT94},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {4},
  number = {2},
  pages = {207-247},
}

@inproceedings{BalasubramaniamP98,
  title = {What is a File Synchronizer?},
  author = {Sundar Balasubramaniam and Benjamin C. Pierce},
  year = {1998},
  doi = {10.1145/288235.288261},
  url = {http://doi.acm.org/10.1145/288235.288261},
  tags = {synchronization, C++},
  researchr = {https://researchr.org/publication/BalasubramaniamP98},
  cites = {0},
  citedby = {0},
  pages = {98-108},
  booktitle = {MOBICOM},
}

@inproceedings{DAntoniGAHP13,
  title = {Sensitivity analysis using type-based constraints},
  author = {Loris D'Antoni and Marco Gaboardi and Emilio Jesús Gallego Arias and Andreas Haeberlen and Benjamin C. Pierce},
  year = {2013},
  doi = {10.1145/2505351.2505353},
  url = {http://doi.acm.org/10.1145/2505351.2505353},
  researchr = {https://researchr.org/publication/DAntoniGAHP13},
  cites = {0},
  citedby = {0},
  pages = {43-50},
  booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013},
  editor = {Richard Lazarus and Assaf J. Kfoury and Jacob Beal},
  publisher = {ACM},
  isbn = {978-1-4503-2380-2},
}

@article{AsaiP13,
  title = {Special Issue Dedicated to ICFP 2011 Editorial},
  author = {Kenichi Asai and Benjamin C. Pierce},
  year = {2013},
  doi = {10.1017/S0956796813000129},
  url = {http://dx.doi.org/10.1017/S0956796813000129},
  researchr = {https://researchr.org/publication/AsaiP13},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {23},
  number = {4},
  pages = {355-356},
}

@inproceedings{Pierce94,
  title = {Concurrent Objects in a Process Calculus},
  author = {Benjamin C. Pierce},
  year = {1994},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Pierce94},
  cites = {0},
  citedby = {0},
  pages = {187-215},
  booktitle = {Theory and Practice of Parallel Programming, International Workshop TPPP 94, Sendai, Japan, November 7-9, 1994, Proceedings},
  editor = {Takayasu Ito and Akinori Yonezawa},
  volume = {907},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59172-9},
}

@inproceedings{HofmannP95:0,
  title = {Positive Subtyping},
  author = {Martin Hofmann and Benjamin C. Pierce},
  year = {1995},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/HofmannP95%3A0},
  cites = {0},
  citedby = {0},
  pages = {186-197},
  booktitle = {POPL},
}

@article{HritcuLSADHPV16,
  title = {Testing noninterference, quickly},
  author = {Catalin Hritcu and Leonidas Lampropoulos and Antal Spector-Zabusky and Arthur Azevedo de Amorim and Maxime Dénès and John Hughes and Benjamin C. Pierce and Dimitrios Vytiniotis},
  year = {2016},
  doi = {10.1017/S0956796816000058},
  url = {http://dx.doi.org/10.1017/S0956796816000058},
  researchr = {https://researchr.org/publication/HritcuLSADHPV16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {26},
}

@article{GapeyevLP02,
  title = {Recursive subtyping revealed},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce},
  year = {2002},
  doi = {10.1017/S0956796802004318},
  url = {http://dx.doi.org/10.1017/S0956796802004318},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/GapeyevLP02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {12},
  number = {6},
  pages = {511-548},
}

@inproceedings{NestmannP96,
  title = {Decoding Choice Encodings},
  author = {Uwe Nestmann and Benjamin C. Pierce},
  year = {1996},
  tags = {C++},
  researchr = {https://researchr.org/publication/NestmannP96},
  cites = {0},
  citedby = {0},
  pages = {179-194},
  booktitle = {CONCUR  96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings},
  editor = {Ugo Montanari and Vladimiro Sassone},
  volume = {1119},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61604-7},
}

@inproceedings{KhannaKP07,
  title = {A Formal Investigation of},
  author = {Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce},
  year = {2007},
  doi = {10.1007/978-3-540-77050-3_40},
  url = {http://dx.doi.org/10.1007/978-3-540-77050-3_40},
  tags = {C++},
  researchr = {https://researchr.org/publication/KhannaKP07},
  cites = {0},
  citedby = {0},
  pages = {485-496},
  booktitle = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings},
  editor = {Vikraman Arvind and Sanjiva Prasad},
  volume = {4855},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77049-7},
}

@incollection{Pierce97:0,
  title = {Foundational Calculi for Programming Languages},
  author = {Benjamin C. Pierce},
  year = {1997},
  tags = {programming languages, C++, programming},
  researchr = {https://researchr.org/publication/Pierce97%3A0},
  cites = {0},
  citedby = {0},
  pages = {2190-2207},
  booktitle = {The Computer Science and Engineering Handbook},
  editor = {Allen B. Tucker},
  publisher = {CRC Press},
  isbn = {0-8493-2909-4},
}

@inproceedings{SumiiP01,
  title = {Logical Relations for Encryption},
  author = {Eijiro Sumii and Benjamin C. Pierce},
  year = {2001},
  doi = {10.1109/CSFW.2001.1},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2001.1},
  researchr = {https://researchr.org/publication/SumiiP01},
  cites = {0},
  citedby = {0},
  pages = {256-269},
  booktitle = {14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1146-5},
}

@inproceedings{HofmannP94,
  title = {A Unifying Type-Theoretic Framework for Objects},
  author = {Martin Hofmann and Benjamin C. Pierce},
  year = {1994},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HofmannP94},
  cites = {0},
  citedby = {0},
  pages = {251-262},
  booktitle = {STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings},
  editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner},
  volume = {775},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57785-8},
}

@inproceedings{Pierce16-0,
  title = {The science of deep specification (keynote)},
  author = {Benjamin C. Pierce},
  year = {2016},
  doi = {10.1145/2984043.2998388},
  url = {http://doi.acm.org/10.1145/2984043.2998388},
  researchr = {https://researchr.org/publication/Pierce16-0},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016},
  editor = {Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-4503-4437-1},
}

@inproceedings{ReedAWHPS10,
  title = {Differential privacy for collaborative security},
  author = {Jason Reed and Adam J. Aviv and Daniel Wagner and Andreas Haeberlen and Benjamin C. Pierce and Jonathan M. Smith},
  year = {2010},
  doi = {10.1145/1752046.1752047},
  url = {http://doi.acm.org/10.1145/1752046.1752047},
  tags = {C++, security},
  researchr = {https://researchr.org/publication/ReedAWHPS10},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {Proceedings of the Third European Workshop on System Security, EUROSEC 2010, Paris, France, April 13, 2010},
  editor = {Manuel Costa and Engin Kirda},
  publisher = {ACM},
  isbn = {978-1-4503-0059-9},
}

@article{PierceS97,
  title = {Higher-Order Subtyping},
  author = {Benjamin C. Pierce and Martin Steffen},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00096-5},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00096-5},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/PierceS97},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {176},
  number = {1-2},
  pages = {235-282},
}

@book{Pierce2002,
  title = {Types and Programming Languages},
  author = {Benjamin C. Pierce},
  year = {2002},
  tags = {programming languages, object-oriented programming, design science, meta programming, case study, meta-model, modeling language, modeling, language engineering, software language engineering, language modeling, language design, type system, software engineering, model-driven engineering, C++, object-role modeling, subtyping, security, e-science, compiler, programming, subject-oriented programming, type theory, abstraction, Meta-Environment, design, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/Pierce2002},
  cites = {0},
  citedby = {0},
  address = {Cambridge, Massachusetts},
  publisher = {MIT Press},
}

@inproceedings{GreenbergPW10,
  title = {Contracts made manifest},
  author = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
  year = {2010},
  doi = {10.1145/1706299.1706341},
  url = {http://doi.acm.org/10.1145/1706299.1706341},
  tags = {contracts, C++},
  researchr = {https://researchr.org/publication/GreenbergPW10},
  cites = {0},
  citedby = {0},
  pages = {353-364},
  booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010},
  editor = {Manuel V. Hermenegildo and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-479-9},
}

@article{IgarashiP02,
  title = {Foundations for Virtual Types},
  author = {Atsushi Igarashi and Benjamin C. Pierce},
  year = {2002},
  url = {http://www.idealibrary.com/links/doi/10.1006/inco.2001.2942},
  tags = {C++},
  researchr = {https://researchr.org/publication/IgarashiP02},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {175},
  number = {1},
  pages = {34-49},
}

@inproceedings{IgarashiPW99,
  title = {Featherwieght Java: A Minimal Core Calculus for Java and GJ},
  author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  year = {1999},
  doi = {10.1145/320384.320395},
  url = {http://doi.acm.org/10.1145/320384.320395},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/IgarashiPW99},
  cites = {0},
  citedby = {0},
  pages = {132-146},
  booktitle = {OOPSLA},
}

@inproceedings{GapeyevLP00,
  title = {Recursive subtyping revealed: functional pearl},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce},
  year = {2000},
  doi = {10.1145/351240.351261},
  url = {http://doi.acm.org/10.1145/351240.351261},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/GapeyevLP00},
  cites = {0},
  citedby = {0},
  pages = {221-231},
  booktitle = {ICFP},
}

@inproceedings{BohannonFPPS08,
  title = {Boomerang: resourceful lenses for string data},
  author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt},
  year = {2008},
  doi = {10.1145/1328438.1328487},
  url = {http://doi.acm.org/10.1145/1328438.1328487},
  tags = {programming languages, rule-based, data-flow language, language design, type system, data-flow programming, data-flow, C++, lenses, programming, database, context-aware, design},
  researchr = {https://researchr.org/publication/BohannonFPPS08},
  cites = {0},
  citedby = {0},
  pages = {407-419},
  booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@inproceedings{FosterPS07,
  title = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
  author = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
  year = {2007},
  url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/FosterPS07},
  cites = {0},
  citedby = {0},
  pages = {80-90},
  booktitle = {PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007},
}

@book{SoftwareFoundations2015,
  title = {Software Foundations },
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and  Cătălin Hriţcu and Vilhelm Sjöberg and  Brent Yorgey and Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and  Cătălin Hriţcu and Vilhelm Sjöberg and  Brent Yorgey},
  year = {2015},
  url = {http://www.cis.upenn.edu/~bcpierce/sf/index.html},
  researchr = {https://researchr.org/publication/SoftwareFoundations2015},
  cites = {0},
  citedby = {0},
}

@inproceedings{Pierce09-0,
  title = {Foundations for Bidirectional Programming},
  author = {Benjamin C. Pierce},
  year = {2009},
  doi = {10.1007/978-3-642-02408-5_1},
  url = {http://dx.doi.org/10.1007/978-3-642-02408-5_1},
  tags = {C++, programming},
  researchr = {https://researchr.org/publication/Pierce09-0},
  cites = {0},
  citedby = {0},
  pages = {1-3},
  booktitle = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  editor = {Richard F. Paige},
  volume = {5563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02407-8},
}

@article{HosoyaVP05,
  title = {Regular expression types for XML},
  author = {Haruo Hosoya and Jerome Vouillon and Benjamin C. Pierce},
  year = {2005},
  doi = {10.1145/1053468.1053470},
  url = {http://doi.acm.org/10.1145/1053468.1053470},
  tags = {XML, XML Schema, C++},
  researchr = {https://researchr.org/publication/HosoyaVP05},
  cites = {0},
  citedby = {1},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {27},
  number = {1},
  pages = {46-90},
}

@inproceedings{GapeyevP03,
  title = {Regular Object Types},
  author = {Vladimir Gapeyev and Benjamin C. Pierce},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2743&spage=151},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/GapeyevP03},
  cites = {0},
  citedby = {0},
  pages = {151-175},
  booktitle = {ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  editor = {Luca Cardelli},
  volume = {2743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40531-3},
}

@inproceedings{SewellWP98,
  title = {Location-Independent Communication for Mobile Agents: A Two-Level Architecture},
  author = {Peter Sewell and Pawel T. Wojciechowski and Benjamin C. Pierce},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1686/16860001.htm},
  tags = {architecture, C++, mobile},
  researchr = {https://researchr.org/publication/SewellWP98},
  cites = {0},
  citedby = {0},
  pages = {1-31},
  booktitle = {Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings},
  editor = {Henri E. Bal and Boumediene Belkhouche and Luca Cardelli},
  volume = {1686},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66673-7},
}

@inproceedings{HofmannPW11,
  title = {Symmetric lenses},
  author = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  year = {2011},
  doi = {10.1145/1926385.1926428},
  url = {http://doi.acm.org/10.1145/1926385.1926428},
  tags = {C++},
  researchr = {https://researchr.org/publication/HofmannPW11},
  cites = {0},
  citedby = {0},
  pages = {371-384},
  booktitle = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011},
  editor = {Thomas Ball and Mooly Sagiv},
  publisher = {ACM},
  isbn = {978-1-4503-0490-0},
}

@inproceedings{DhawanVRCSKPD14,
  title = {PUMP: a programmable unit for metadata processing},
  author = {Udit Dhawan and Nikos Vasilakis and Raphael Rubin and Silviu Chiricescu and Jonathan M. Smith and Thomas F. Knight Jr. and Benjamin C. Pierce and André DeHon},
  year = {2014},
  doi = {10.1145/2611765.2611773},
  url = {http://doi.acm.org/10.1145/2611765.2611773},
  researchr = {https://researchr.org/publication/DhawanVRCSKPD14},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {HASP 2014, Hardware and Architectural Support for Security and Privacy, Minneapolis, MN, USA, June 15, 2014},
  editor = {Ruby B. Lee and Weidong Shi},
  publisher = {ACM},
  isbn = {978-1-4503-2777-0},
}

@article{SumiiP07:0,
  title = {A bisimulation for type abstraction and recursion},
  author = {Eijiro Sumii and Benjamin C. Pierce},
  year = {2007},
  doi = {10.1145/1284320.1284325},
  url = {http://doi.acm.org/10.1145/1284320.1284325},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/SumiiP07%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of the ACM},
  volume = {54},
  number = {5},
  pages = {26},
}

@inproceedings{LevinP05,
  title = {Type-Based Optimization for Regular Patterns},
  author = {Michael Y. Levin and Benjamin C. Pierce},
  year = {2005},
  doi = {10.1007/11601524_12},
  url = {http://dx.doi.org/10.1007/11601524_12},
  tags = {optimization, rule-based, C++},
  researchr = {https://researchr.org/publication/LevinP05},
  cites = {0},
  citedby = {0},
  pages = {184-198},
  booktitle = {Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
  editor = {Gavin M. Bierman and Christoph Koch},
  volume = {3774},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30951-9},
}

@inproceedings{FosterPP08,
  title = {Quotient lenses},
  author = {J. Nathan Foster and Alexandre Pilkiewicz and Benjamin C. Pierce},
  year = {2008},
  doi = {10.1145/1411204.1411257},
  url = {http://doi.acm.org/10.1145/1411204.1411257},
  tags = {control systems, programming languages, parsimony, rule-based, bidirectional transformation, translation, data-flow language, refinement, transformation language, composition, type system, data-flow programming, data-flow, C++, transformation system, lenses, programming, database, type theory, systematic-approach, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/FosterPP08},
  cites = {0},
  citedby = {0},
  pages = {383-396},
  booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@inproceedings{HritcuGKPM13,
  title = {All Your IFCException Are Belong to Us},
  author = {Catalin Hritcu and Michael Greenberg and Ben Karel and Benjamin C. Pierce and Greg Morrisett},
  year = {2013},
  doi = {10.1109/SP.2013.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/SP.2013.10},
  researchr = {https://researchr.org/publication/HritcuGKPM13},
  cites = {0},
  citedby = {0},
  pages = {3-17},
  booktitle = {2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-6166-8},
}

@article{Pierce97,
  title = {Intersection Types and Bounded Polymorphism},
  author = {Benjamin C. Pierce},
  year = {1997},
  tags = {C++},
  researchr = {https://researchr.org/publication/Pierce97},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {7},
  number = {2},
  pages = {129-193},
}

@book{SoftwareFoundations2015,
  title = {Software Foundations },
  author = {Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and  Cătălin Hriţcu and Vilhelm Sjöberg and  Brent Yorgey and Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and  Cătălin Hriţcu and Vilhelm Sjöberg and  Brent Yorgey},
  year = {2015},
  url = {http://www.cis.upenn.edu/~bcpierce/sf/index.html},
  researchr = {https://researchr.org/publication/SoftwareFoundations2015},
  cites = {0},
  citedby = {0},
}

@inproceedings{AbadiPP89,
  title = {Faithful Ideal Models for Recursive Polymorphic Types},
  author = {Martín Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiPP89},
  cites = {0},
  citedby = {0},
  pages = {216-225},
  booktitle = {Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{Pierce10-0,
  title = {Proof Assistants as Teaching Assistants: A View from the Trenches},
  author = {Benjamin C. Pierce},
  year = {2010},
  doi = {10.1007/978-3-642-14052-5_2},
  url = {http://dx.doi.org/10.1007/978-3-642-14052-5_2},
  tags = {proof assistant, C++, teaching},
  researchr = {https://researchr.org/publication/Pierce10-0},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
  editor = {Matt Kaufmann and Lawrence C. Paulson},
  volume = {6172},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14051-8},
}

@inproceedings{Pierce10,
  title = {Art, science, and fear},
  author = {Benjamin C. Pierce},
  year = {2010},
  doi = {10.1145/1869459.1869540},
  url = {http://doi.acm.org/10.1145/1869459.1869540},
  tags = {C++, e-science},
  researchr = {https://researchr.org/publication/Pierce10},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@article{FosterGKPS07,
  title = {Exploiting schemas in data synchronization},
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
  year = {2007},
  doi = {10.1016/j.jcss.2006.10.024},
  url = {http://dx.doi.org/10.1016/j.jcss.2006.10.024},
  tags = {synchronization, XML, XML Schema, data-flow, C++},
  researchr = {https://researchr.org/publication/FosterGKPS07},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {73},
  number = {4},
  pages = {669-689},
}

@article{IgarashiP02a,
  title = {On Inner Classes},
  author = {Atsushi Igarashi and Benjamin C. Pierce},
  year = {2002},
  doi = {10.1006/inco.2002.3092},
  url = {http://dx.doi.org/10.1006/inco.2002.3092},
  tags = {C++},
  researchr = {https://researchr.org/publication/IgarashiP02a},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {177},
  number = {1},
  pages = {56-89},
}

@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{HofmannP96,
  title = {Positive Subtyping},
  author = {Martin Hofmann and Benjamin C. Pierce},
  year = {1996},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/HofmannP96},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {126},
  number = {1},
  pages = {11-33},
}

@inproceedings{DhawanKKHPSDMMKSHZWTRS12,
  title = {Hardware Support for Safety Interlocks and Introspection},
  author = {Udit Dhawan and Albert Kwon and Edin Kadric and Catalin Hritcu and Benjamin C. Pierce and Jonathan M. Smith and André DeHon and Gregory Malecha and Greg Morrisett and Thomas F. Knight Jr. and Andrew Sutherland and Tom Hawkins and Amanda Zyxnfryx and David Wittenberg and Peter Trei and Sumit Ray and Greg Sullivan},
  year = {2012},
  doi = {10.1109/SASOW.2012.11},
  url = {http://doi.ieeecomputersociety.org/10.1109/SASOW.2012.11},
  researchr = {https://researchr.org/publication/DhawanKKHPSDMMKSHZWTRS12},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-5153-9},
}

@inproceedings{BruceCP97,
  title = {Comparing Object Encodings},
  author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
  year = {1997},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BruceCP97},
  cites = {0},
  citedby = {0},
  pages = {415-438},
  booktitle = {Theoretical Aspects of Computer Software, Third International Symposium, TACS  97, Sendai, Japan, September 23-26, 1997, Proceedings},
  editor = {Martín Abadi and Takayasu Ito},
  volume = {1281},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63388-X},
}

@inproceedings{CastagnaP95,
  title = {Corrigendum: Decidable Bounded Quantification},
  author = {Giuseppe Castagna and Benjamin C. Pierce},
  year = {1995},
  tags = {C++},
  researchr = {https://researchr.org/publication/CastagnaP95},
  cites = {0},
  citedby = {0},
  pages = {408},
  booktitle = {POPL},
}

@inproceedings{GreenwaldKKPS06,
  title = {Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data},
  author = {Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt},
  year = {2006},
  doi = {10.1007/11864219_19},
  url = {http://dx.doi.org/10.1007/11864219_19},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/GreenwaldKKPS06},
  cites = {0},
  citedby = {0},
  pages = {269-283},
  booktitle = {Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings},
  editor = {Shlomi Dolev},
  volume = {4167},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44624-9},
}

@inproceedings{BohannonPSWZ09,
  title = {Reactive noninterference},
  author = {Aaron Bohannon and Benjamin C. Pierce and Vilhelm Sjöberg and Stephanie Weirich and Steve Zdancewic},
  year = {2009},
  doi = {10.1145/1653662.1653673},
  url = {http://doi.acm.org/10.1145/1653662.1653673},
  tags = {C++},
  researchr = {https://researchr.org/publication/BohannonPSWZ09},
  cites = {0},
  citedby = {0},
  pages = {79-90},
  booktitle = {Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009},
  editor = {Ehab Al-Shaer and Somesh Jha and Angelos D. Keromytis},
  publisher = {ACM},
  isbn = {978-1-60558-894-0},
}

@article{FisherP02,
  title = {Guest editorial},
  author = {Kathleen Fisher and Benjamin C. Pierce},
  year = {2002},
  doi = {10.1145/514952.514953},
  url = {http://doi.acm.org/10.1145/514952.514953},
  tags = {C++},
  researchr = {https://researchr.org/publication/FisherP02},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {24},
  number = {2},
  pages = {111},
}

@inproceedings{IgarashiP99,
  title = {Foundations for Virtual Types},
  author = {Atsushi Igarashi and Benjamin C. Pierce},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1628/16280161.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/IgarashiP99},
  cites = {0},
  citedby = {0},
  pages = {161-185},
  booktitle = {ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  editor = {Rachid Guerraoui},
  volume = {1628},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66156-5},
}

@inproceedings{Pierce93,
  title = {Intersection Types and Bounded Polymorphism},
  author = {Benjamin C. Pierce},
  year = {1993},
  tags = {C++},
  researchr = {https://researchr.org/publication/Pierce93},
  cites = {0},
  citedby = {0},
  pages = {346-360},
  booktitle = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings},
  editor = {Marc Bezem and Jan Friso Groote},
  volume = {664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56517-5},
}

@inproceedings{IgarashiP00,
  title = {On Inner Classes},
  author = {Atsushi Igarashi and Benjamin C. Pierce},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1850/18500129.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/IgarashiP00},
  cites = {0},
  citedby = {0},
  pages = {129-153},
  booktitle = {ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
  editor = {Elisa Bertino},
  volume = {1850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67660-0},
}

@inproceedings{BohannonP10,
  title = {Featherweight Firefox: Formalizing the Core of a Web Browser},
  author = {Aaron Bohannon and Benjamin C. Pierce},
  year = {2010},
  url = {https://www.usenix.org/conference/webapps-10/featherweight-firefox-formalizing-core-web-browser},
  researchr = {https://researchr.org/publication/BohannonP10},
  cites = {0},
  citedby = {0},
  booktitle = {USENIX Conference on Web Application Development, WebApps'10, Boston, Massachusetts, USA, June 23-24, 2010},
  editor = {John K. Ousterhout},
  publisher = {USENIX Association},
}

@article{FlattP07,
  title = {Preface},
  author = {Matthew Flatt and Benjamin C. Pierce},
  year = {2007},
  doi = {10.1017/S0956796807006454},
  url = {http://dx.doi.org/10.1017/S0956796807006454},
  tags = {C++},
  researchr = {https://researchr.org/publication/FlattP07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {4-5},
  pages = {431},
}

@inproceedings{Paraskevopoulou15,
  title = {Foundational Property-Based Testing},
  author = {Zoe Paraskevopoulou and Catalin Hritcu and Maxime Dénès and Leonidas Lampropoulos and Benjamin C. Pierce},
  year = {2015},
  doi = {10.1007/978-3-319-22102-1_22},
  url = {http://dx.doi.org/10.1007/978-3-319-22102-1_22},
  researchr = {https://researchr.org/publication/Paraskevopoulou15},
  cites = {0},
  citedby = {0},
  pages = {325-343},
  booktitle = {Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings},
  editor = {Christian Urban and Xingyuan Zhang},
  volume = {9236},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-22101-4},
}

@inproceedings{JuglaretHAEP16,
  title = {Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation},
  author = {Yannis Juglaret and Catalin Hritcu and Arthur Azevedo de Amorim and Boris Eng and Benjamin C. Pierce},
  year = {2016},
  doi = {10.1109/CSF.2016.11},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2016.11},
  researchr = {https://researchr.org/publication/JuglaretHAEP16},
  cites = {0},
  citedby = {0},
  pages = {45-60},
  booktitle = {IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016},
  publisher = {IEEE},
  isbn = {978-1-5090-2607-4},
}

@article{Pierce00,
  title = {The essence of objects},
  author = {Benjamin C. Pierce},
  year = {2000},
  doi = {10.1145/340855.340989},
  url = {http://doi.acm.org/10.1145/340855.340989},
  researchr = {https://researchr.org/publication/Pierce00},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {25},
  number = {1},
  pages = {69-71},
}

@inproceedings{HosoyaP00,
  title = {XDuce: A Typed XML Processing Language (Preliminary Report)},
  author = {Haruo Hosoya and Benjamin C. Pierce},
  year = {2000},
  url = {http://www.research.att.com/conf/webdb2000/PAPERS/7c.ps},
  tags = {XML, XML Schema, C++},
  researchr = {https://researchr.org/publication/HosoyaP00},
  cites = {0},
  citedby = {0},
  pages = {111-116},
  booktitle = {The World Wide Web and Databases, Third International Workshop WebDB 2000, Dallas, Texas, USA, Maaay 18-19, 2000, Selected Papers},
  editor = {Dan Suciu and Gottfried Vossen},
  volume = {1997},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41826-1},
}

@article{NestmannP98,
  title = {Preface},
  author = {Uwe Nestmann and Benjamin C. Pierce},
  year = {1998},
  url = {http://www.elsevier.com/gej-ng/31/29/23/40/26/show/Products/notes/index.htt#001},
  tags = {C++},
  researchr = {https://researchr.org/publication/NestmannP98},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {16},
  number = {3},
  pages = {291},
}

@article{Pierce99,
  title = {Foundations of Object-Oriented Languages - Introduction},
  author = {Benjamin C. Pierce},
  year = {1999},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Pierce99},
  cites = {0},
  citedby = {0},
  journal = {TAPOS},
  volume = {5},
  number = {1},
  pages = {1},
}

@inproceedings{GapayevLPS06,
  title = {XTATIC},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
  year = {2006},
  tags = {C++},
  researchr = {https://researchr.org/publication/GapayevLPS06},
  cites = {0},
  citedby = {0},
  pages = {88},
  booktitle = {PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006},
  editor = {Giuseppe Castagna and Mukund Raghavachari},
  publisher = {BRICS, Department of Computer Science, University of Aarhus},
}

@article{AbadiCPP91,
  title = {Dynamic Typing in a Statically Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1991},
  doi = {10.1145/103135.103138},
  url = {http://doi.acm.org/10.1145/103135.103138},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPP91},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {13},
  number = {2},
  pages = {237-268},
}

@inproceedings{PierceT00,
  title = {Pict: a programming language based on the Pi-Calculus},
  author = {Benjamin C. Pierce and David N. Turner},
  year = {2000},
  tags = {programming languages, rule-based, C++, programming},
  researchr = {https://researchr.org/publication/PierceT00},
  cites = {0},
  citedby = {0},
  pages = {455-494},
  booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
  publisher = {The MIT Press},
  isbn = {978-0-262-16188-6},
}

@article{Winograd-CortHR17,
  title = {A framework for adaptive differential privacy},
  author = {Daniel Winograd-Cort and Andreas Haeberlen and Aaron Roth and Benjamin C. Pierce},
  year = {2017},
  doi = {10.1145/3110254},
  url = {http://doi.acm.org/10.1145/3110254},
  researchr = {https://researchr.org/publication/Winograd-CortHR17},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {1},
  number = {ICFP},
}

@article{SumiiP07,
  title = {A bisimulation for dynamic sealing},
  author = {Eijiro Sumii and Benjamin C. Pierce},
  year = {2007},
  doi = {10.1016/j.tcs.2006.12.032},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.12.032},
  tags = {C++},
  researchr = {https://researchr.org/publication/SumiiP07},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {375},
  number = {1-3},
  pages = {169-192},
}

@article{MiltnerFPWZ18,
  title = {Synthesizing bijective lenses},
  author = {Anders Miltner and Kathleen Fisher and Benjamin C. Pierce and David Walker and Steve Zdancewic},
  year = {2018},
  doi = {10.1145/3158089},
  url = {http://doi.acm.org/10.1145/3158089},
  researchr = {https://researchr.org/publication/MiltnerFPWZ18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{KobayashiPT96,
  title = {Linearity and the Pi-Calculus},
  author = {Naoki Kobayashi and Benjamin C. Pierce and David N. Turner},
  year = {1996},
  doi = {10.1145/237721.237804},
  url = {http://doi.acm.org/10.1145/237721.237804},
  tags = {C++},
  researchr = {https://researchr.org/publication/KobayashiPT96},
  cites = {0},
  citedby = {0},
  pages = {358-371},
  booktitle = {POPL},
}

@article{Pierce94:1,
  title = {Bounded Quantification is Undecidable},
  author = {Benjamin C. Pierce},
  year = {1994},
  month = {July},
  tags = {C++},
  researchr = {https://researchr.org/publication/Pierce94%3A1},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {112},
  number = {1},
  pages = {131-165},
}

@article{HofmannP02,
  title = {Type Destructors},
  author = {Martin Hofmann and Benjamin C. Pierce},
  year = {2002},
  url = {http://www.idealibrary.com/links/doi:10.1006/inco.2001.2926},
  tags = {C++},
  researchr = {https://researchr.org/publication/HofmannP02},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {172},
  number = {1},
  pages = {29-62},
}

@article{HosoyaP03,
  title = {Regular expression pattern matching for XML},
  author = {Haruo Hosoya and Benjamin C. Pierce},
  year = {2003},
  doi = {10.1017/S0956796802004410},
  url = {http://dx.doi.org/10.1017/S0956796802004410},
  tags = {XML, XML Schema, C++, pattern matching},
  researchr = {https://researchr.org/publication/HosoyaP03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {6},
  pages = {961-1004},
}

@inproceedings{GapeyevGP06,
  title = {Statically Typed Document Transformation: An Xtatic Experience},
  author = {Vladimir Gapeyev and François Garillot and Benjamin C. Pierce},
  year = {2006},
  tags = {C++, transformation},
  researchr = {https://researchr.org/publication/GapeyevGP06},
  cites = {0},
  citedby = {0},
  pages = {2-13},
  booktitle = {PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, January 14, 2006},
  editor = {Giuseppe Castagna and Mukund Raghavachari},
  publisher = {BRICS, Department of Computer Science, University of Aarhus},
}

@article{IgarashiPW01,
  title = {Featherweight Java: a minimal core calculus for Java and GJ},
  author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
  year = {2001},
  doi = {10.1145/503502.503505},
  url = {http://doi.acm.org/10.1145/503502.503505},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/IgarashiPW01},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {23},
  number = {3},
  pages = {396-450},
}

@article{KobayashiPT99,
  title = {Linearity and the pi-calculus},
  author = {Naoki Kobayashi and Benjamin C. Pierce and David N. Turner},
  year = {1999},
  doi = {10.1145/330249.330251},
  url = {http://doi.acm.org/10.1145/330249.330251},
  tags = {C++},
  researchr = {https://researchr.org/publication/KobayashiPT99},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {21},
  number = {5},
  pages = {914-947},
}

@article{HofmannP95,
  title = {A Unifying Type-Theoretic Framework for Objects},
  author = {Martin Hofmann and Benjamin C. Pierce},
  year = {1995},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HofmannP95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {5},
  number = {4},
  pages = {593-635},
}

@article{PierceT-TOPLAS-2000,
  title = {Local type inference},
  author = {Benjamin C. Pierce and David N. Turner},
  year = {2000},
  doi = {10.1145/345099.345100},
  url = {http://doi.acm.org/10.1145/345099.345100},
  tags = {type inference, language design, constraints, C++, subtyping, abstraction, local type inference},
  researchr = {https://researchr.org/publication/PierceT-TOPLAS-2000},
  cites = {54},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {22},
  number = {1},
  pages = {1-44},
}

@article{PierceS96,
  title = {Typing and Subtyping for Mobile Processes},
  author = {Benjamin C. Pierce and Davide Sangiorgi},
  year = {1996},
  tags = {C++, subtyping, mobile},
  researchr = {https://researchr.org/publication/PierceS96},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {6},
  number = {5},
  pages = {409-453},
}

@article{NestmannP00,
  title = {Decoding Choice Encodings},
  author = {Uwe Nestmann and Benjamin C. Pierce},
  year = {2000},
  tags = {C++},
  researchr = {https://researchr.org/publication/NestmannP00},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {163},
  number = {1},
  pages = {1-59},
}

@inproceedings{SteffenP94,
  title = {Higher-Order Subtyping},
  author = {Martin Steffen and Benjamin C. Pierce},
  year = {1994},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/SteffenP94},
  cites = {0},
  citedby = {0},
  pages = {511-530},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET  94) San Miniato, Italy, 6-10 June, 1994},
  editor = {Ernst-Rüdiger Olderog},
  volume = {A-56},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-82020-5},
}

@inproceedings{HofmannPW12,
  title = {Edit lenses},
  author = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  year = {2012},
  doi = {10.1145/2103656.2103715},
  url = {http://doi.acm.org/10.1145/2103656.2103715},
  researchr = {https://researchr.org/publication/HofmannPW12},
  cites = {0},
  citedby = {0},
  pages = {495-508},
  booktitle = {Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012},
  editor = {John Field and Michael Hicks},
  publisher = {ACM},
  isbn = {978-1-4503-1083-3},
}

@article{OderskyP04,
  title = {Guest editorial},
  author = {Martin Odersky and Benjamin C. Pierce},
  year = {2004},
  doi = {10.1145/1018203.1018204},
  url = {http://doi.acm.org/10.1145/1018203.1018204},
  tags = {C++},
  researchr = {https://researchr.org/publication/OderskyP04},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {26},
  number = {5},
  pages = {767-768},
}

@article{GreenbergPW12,
  title = {Contracts made manifest},
  author = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
  year = {2012},
  doi = {10.1017/S0956796812000135},
  url = {http://dx.doi.org/10.1017/S0956796812000135},
  researchr = {https://researchr.org/publication/GreenbergPW12},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {22},
  number = {3},
  pages = {225-274},
}

@inproceedings{AydemirCPPW08,
  title = {Engineering formal metatheory},
  author = {Brian E. Aydemir and Arthur Charguéraud and Benjamin C. Pierce and Randy Pollack and Stephanie Weirich},
  year = {2008},
  doi = {10.1145/1328438.1328443},
  url = {http://doi.acm.org/10.1145/1328438.1328443},
  tags = {programming languages, optimization, object-oriented programming, Machanized Metatheory, proof assistant, pattern language, type soundness, exceptions, Coq, variable binding, language engineering, Cofinite quantification, principles, little language, C++, metatheory, programming, subject-oriented programming, Syntactic type soundness, program optimization, systematic-approach, feature-oriented programming, Locally nameless},
  researchr = {https://researchr.org/publication/AydemirCPPW08},
  cites = {0},
  citedby = {0},
  pages = {3-15},
  booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@inproceedings{Pierce07,
  title = {Adventures in Bidirectional Programming},
  author = {Benjamin C. Pierce},
  year = {2007},
  doi = {10.1007/978-3-540-77050-3_3},
  url = {http://dx.doi.org/10.1007/978-3-540-77050-3_3},
  tags = {C++, programming},
  researchr = {https://researchr.org/publication/Pierce07},
  cites = {0},
  citedby = {0},
  pages = {21-22},
  booktitle = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings},
  editor = {Vikraman Arvind and Sanjiva Prasad},
  volume = {4855},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77049-7},
}

@inproceedings{DeHonKKMMMMPPRS11,
  title = {Preliminary design of the SAFE platform},
  author = {André DeHon and Ben Karel and Thomas F. Knight Jr. and Gregory Malecha and Benoît Montagu and Robin Morisset and Greg Morrisett and Benjamin C. Pierce and Randy Pollack and Sumit Ray and Olin Shivers and Jonathan M. Smith and Gregory Sullivan},
  year = {2011},
  doi = {10.1145/2039239.2039245},
  url = {http://doi.acm.org/10.1145/2039239.2039245},
  researchr = {https://researchr.org/publication/DeHonKKMMMMPPRS11},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
  publisher = {ACM},
  isbn = {978-1-4503-0979-0},
}

@inproceedings{AydemirBFFPSVWWZ05,
  title = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
  author = {Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic},
  year = {2005},
  doi = {10.1007/11541868_4},
  url = {http://dx.doi.org/10.1007/11541868_4},
  tags = {programming languages, rule-based, variable binding, principles, type system, C++, metatheory, subtyping, programming, state machines},
  researchr = {https://researchr.org/publication/AydemirBFFPSVWWZ05},
  cites = {0},
  citedby = {0},
  pages = {50-65},
  booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  editor = {Joe Hurd and Thomas F. Melham},
  volume = {3603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28372-2},
}

@inproceedings{PierceS93,
  title = {Typing and Subtyping for Mobile Processes},
  author = {Benjamin C. Pierce and Davide Sangiorgi},
  year = {1993},
  tags = {C++, subtyping, mobile},
  researchr = {https://researchr.org/publication/PierceS93},
  cites = {0},
  citedby = {0},
  pages = {376-385},
  booktitle = {Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada},
  publisher = {IEEE Computer Society},
}

@inproceedings{BarbosaCFGP10,
  title = {Matching lenses: alignment and view update},
  author = {Davi M. J. Barbosa and Julien Cretin and J. Nathan Foster and Michael Greenberg and Benjamin C. Pierce},
  year = {2010},
  doi = {10.1145/1863543.1863572},
  url = {http://doi.acm.org/10.1145/1863543.1863572},
  tags = {C++},
  researchr = {https://researchr.org/publication/BarbosaCFGP10},
  cites = {0},
  citedby = {0},
  pages = {193-204},
  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},
}

@article{HosoyaP03:0,
  title = {XDuce: A statically typed XML processing language},
  author = {Haruo Hosoya and Benjamin C. Pierce},
  year = {2003},
  doi = {10.1145/767193.767195},
  url = {http://doi.acm.org/10.1145/767193.767195},
  tags = {XML, XML Schema, C++},
  researchr = {https://researchr.org/publication/HosoyaP03%3A0},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Internet Techn.},
  volume = {3},
  number = {2},
  pages = {117-148},
}

@inproceedings{HritcuHPSVAL13,
  title = {Testing noninterference, quickly},
  author = {Catalin Hritcu and John Hughes and Benjamin C. Pierce and Antal Spector-Zabusky and Dimitrios Vytiniotis and Arthur Azevedo de Amorim and Leonidas Lampropoulos},
  year = {2013},
  doi = {10.1145/2500365.2500574},
  url = {http://doi.acm.org/10.1145/2500365.2500574},
  researchr = {https://researchr.org/publication/HritcuHPSVAL13},
  cites = {0},
  citedby = {0},
  pages = {455-468},
  booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013},
  editor = {Greg Morrisett and Tarmo Uustalu},
  publisher = {ACM},
  isbn = {978-1-4503-2326-0},
}

@article{BrookesPPS13,
  title = {Dedication},
  author = {Stephen Brookes and Benjamin C. Pierce and Gordon D. Plotkin and Dana S. Scott},
  year = {2013},
  doi = {10.1016/j.entcs.2013.09.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2013.09.004},
  researchr = {https://researchr.org/publication/BrookesPPS13},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {298},
  pages = {3-5},
}
@proceedings{popl:2009,
  title = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  year = {2009},
  tags = {programming languages, programming language, principles, programming},
  researchr = {https://researchr.org/publication/popl%3A2009},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009},
  conference = {POPL},
  editor = {Zhong Shao and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-60558-379-2},
}

@proceedings{tldi-2012,
  title = {Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012},
  year = {2012},
  url = {http://dl.acm.org/citation.cfm?id=2103786},
  researchr = {https://researchr.org/publication/tldi-2012},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012},
  conference = {tldi},
  editor = {Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {978-1-4503-1120-5},
}

@proceedings{icfp-2001,
  title = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001},
  year = {2001},
  note = {SIGPLAN Notices 36(10), October 2001},
  researchr = {https://researchr.org/publication/icfp-2001},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001},
  conference = {ICFP},
  editor = {Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-58113-415-0},
}

@proceedings{tacs:2001,
  title = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  year = {2001},
  researchr = {https://researchr.org/publication/tacs%3A2001},
  cites = {0},
  citedby = {0},
  booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  conference = {tacs},
  editor = {Naoki Kobayashi and Benjamin C. Pierce},
  volume = {2215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42736-8},
}

@proceedings{isss2:2002,
  title = {Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers},
  year = {2003},
  tags = {security},
  researchr = {https://researchr.org/publication/isss2%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers},
  conference = {isss2},
  editor = {Mitsuhiro Okada and Benjamin C. Pierce and Andre Scedrov and Hideyuki Tokuda and Akinori Yonezawa},
  volume = {2609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00708-3},
}

@book{Pierce05advancedtopics,
  title = {Advanced Topics in Types and Programming Languages},
  year = {2005},
  url = {http://www.cis.upenn.edu/~bcpierce/attapl/},
  tags = {programming languages, semantics, design science, type inference, program comprehension, program analysis, application framework, language engineering, software language engineering, analysis, language design, type system, software engineering, type checking, security, programming, operational semantics, type theory},
  researchr = {https://researchr.org/publication/Pierce05advancedtopics},
  cites = {0},
  citedby = {0},
  editor = {Benjamin C. Pierce},
  publisher = {The MIT Press},
  isbn = {0-262-16228-8},
}

@proceedings{icfp:2005,
  title = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  year = {2005},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/icfp%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  conference = {ICFP},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}