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

@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 = {TOPLAS},
  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 = {ijfcs},
  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 = {DBPL},
}

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

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

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

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

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

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

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

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

@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 = {TCS},
  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 = {mscs},
  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 = {asplos},
}

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

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

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

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

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

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

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

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

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

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

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

@inproceedings{AmorimCDDHPPPT14,
  title = {A verified information-flow architecture},
  author = {Arthur Azevedo de Amorim and Nathan Collins and André DeHon and Delphine Demange and Catalin Hritcu and David Pichardie and Benjamin C. Pierce and Randy Pollack and Andrew P. Tolmach},
  year = {2014},
  doi = {10.1145/2535838.2535839},
  url = {http://doi.acm.org/10.1145/2535838.2535839},
  researchr = {https://researchr.org/publication/AmorimCDDHPPPT14},
  cites = {0},
  citedby = {0},
  pages = {165-178},
  booktitle = {POPL},
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@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 = {PACMPL},
  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 = {TCS},
  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 = {PACMPL},
  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 = {iandc},
  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 = {iandc},
  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 = {JFP},
  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 = {planX},
}

@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 = {TOPLAS},
  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 = {TOPLAS},
  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 = {JFP},
  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 = {TOPLAS},
  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 = {mscs},
  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 = {iandc},
  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 = {procomet},
}

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

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

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

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

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

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

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

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

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