bcp.bib
@PREAMBLE{{\newcommand{\SortNoop}[1]{}}}
@MISC{Pierce:gridapple,
author = {Benjamin C. Pierce},
title = {{\sc Gridapple}: an implementation of the {\sc ESRI} {\sc
Grid} system for the {Apple-II}},
year = {1981},
note = {Marketed by Environmental Systems Research Institute,
Redlands, CA},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{Pierce82,
author = {B. C. Pierce},
title = {A Microcomputer-Based Geographic Information System},
booktitle = {Proceedings of the Seventh West Coast Computer Faire},
month = MAR,
year = 1982,
plclub = {Yes},
bcp = {Yes}
}
@MISC{Larrabee&82,
author = {T. Larrabee and K. McCall and C. Mitchell and B. C.
Pierce},
title = {Gambit: {A} Video Game Programming Language},
howpublished = {Project report for Stanford CS-242 (Programming Language
Design)},
month = {December},
year = 1982,
note = {See also: Larrabee, T. and Mitchell, C. ``Gambit: A
Prototyping Approach to Video Game Design.'' IEEE Software,
Vol. 1 No. 4, Oct. 1984.},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{Pierce84,
author = {B. C. Pierce},
title = {Gridapple: {A} Microcomputer-Based Geographic Information
System},
booktitle = {Harvard Computer Graphics Week},
month = JUL,
year = 1982,
note = {Reprinted in Marble, D., et al, {\em Basic Readings in
Geographic Information Systems.} Williamsville, NY: SPAD
Systems, Ltd., 1984},
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:arcinfo,
author = {Benjamin C. Pierce},
title = {{\sc Arc-Info} plotting and display subsystem},
year = {1982},
note = {Marketed by Environmental Systems Research Institute,
Redlands, CA, USA},
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:artemis,
author = {Benjamin C. Pierce},
title = {{\sc Artemis}: a graphics editor for circuit diagrams},
year = {1986},
note = {Used internally at DEC Western Research Lab for the design
of the {\sc Titan} processor and power/packaging},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{Habermann&88,
author = {A. N. Habermann and Charles Krueger and Benjamin Pierce
and Barbara Staudt and John Wenn},
title = {Programming with Views},
institution = {Carnegie Mellon University, Computer Science Department},
number = {CMU-CS-87-177},
month = JAN,
year = {1988},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{PIERCE89B,
key = {Pierce89b},
author = {Benjamin Pierce},
title = {A Decision Procedure for the Subtype Relation on
Intersection Types with Bounded Variables},
institution = {School of Computer Science, Carnegie Mellon University},
type = {Technical Report},
number = {CMU-CS-89-169},
month = SEP,
year = {1989},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{PIERCE89C,
key = {PIERCE89C},
author = {Benjamin Pierce},
title = {Bounded Quantification and Intersection Types},
month = SEP,
year = {1989},
note = {Thesis proposal (unpublished)},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{PIERCE89,
key = {Pierce89},
author = {Benjamin Pierce and Scott Dietzen and Spiro Michaylov},
title = {Programming in Higher-order Typed Lambda-Calculi},
institution = {Carnegie Mellon University},
type = {Technical Report},
number = {CMU-CS-89-111},
month = MAR,
year = {1989},
plclub = {Yes},
bcp = {Yes},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/leap.pdf},
errata = {http://www.cis.upenn.edu/~bcpierce/papers/leap.errata},
keys = {typessurveys}
}
@TECHREPORT{HarperPierce90,
author = {Robert W. Harper and Benjamin C. Pierce},
title = {Extensible Records Without Subsumption},
institution = {School of Computer Science, Carnegie Mellon University},
year = {1990},
month = FEB,
type = {Technical Report},
number = {CMU-CS-90-102},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce90b,
author = {Benjamin C. Pierce},
title = {Preliminary Investigation of a Calculus with Intersection
and Union Types},
year = 1990,
month = JUN,
note = {Unpublished manuscript},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{HarperPierce91,
author = {Robert Harper and Benjamin Pierce},
title = {A Record Calculus Based on Symmetric Concatenation},
booktitle = {{ACM} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Orlando, Florida},
year = 1991,
pages = {131--142},
month = JAN,
note = {Extended version available as Carnegie Mellon Technical
Report CMU-CS-90-157},
plclub = {Yes},
bcp = {Yes}
}
@BOOK{PIERCE91,
author = {Benjamin C. Pierce},
title = {Basic Category Theory for Computer Scientists},
year = {1991},
publisher = {MIT Press},
fullisbn = {0-262-66071-7},
orderinginfo = {MIT PRESS 55 Hayward ST. Cambridge Mass 02142 USA
800-356-0343},
europeinfo = {14 Bloomsbury Square London WC1A 2LP U.K. Facsimile:
071-404-0601},
plclub = {Yes},
bcp = {Yes},
keys = {books}
}
@ARTICLE{ABADI91,
author = {Mart\'{\i}n Abadi and Luca Cardelli and Benjamin Pierce
and Gordon Plotkin},
title = {Dynamic Typing in a Statically Typed Language},
journal = {ACM Transactions on Programming Languages and Systems},
publisher = {ACM},
year = 1991,
volume = 13,
number = 2,
month = APR,
pages = {237--268},
note = {Summary in \bgroup\em {ACM} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Austin, Texas\egroup, 1989},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{ABADI91B,
author = {Mart\'{\i}n Abadi and Benjamin Pierce and Gordon Plotkin},
title = {Faithful Ideal Models for Recursive Polymorphic Types},
journal = {International Journal of Foundations of Computer Science},
volume = 2,
number = 1,
month = MAR,
year = 1991,
pages = {1--21},
note = {Summary in Fourth Annual Symposium on Logic in Computer
Science, June, 1989},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{Pierce91b,
author = {Benjamin C. Pierce},
title = {Programming with Intersection Types, Union Types, and
Polymorphism},
institution = {Carnegie Mellon University},
type = {Technical Report},
number = {CMU-CS-91-106},
month = FEB,
year = {1991},
plclub = {Yes},
bcp = {Yes}
}
@PHDTHESIS{PierceThesis,
author = {Benjamin C. Pierce},
title = {Programming with Intersection Types and Bounded
Polymorphism},
school = {Carnegie Mellon University},
month = {December},
year = {1991},
note = {Available as School of Computer Science technical report
CMU-CS-91-205},
ascii = {Benjamin C. Pierce, "Programming with Intersection Types
and Bounded Polymorphism." Ph.D. thesis, Carnegie Mellon
University, December, 1991. Available as School of Computer
Science technical report CMU-CS-91-205.},
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:fmeet,
author = {Benjamin C. Pierce},
title = {{\sc Fmeet}: a polymorphic $\lambda$-calculus with
intersection types},
year = {1991},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{HofmannPierce92:TR,
author = {Martin Hofmann and Benjamin Pierce},
title = {An Abstract View of Objects and Subtyping (Preliminary
Report)},
institution = {University of Edinburgh, LFCS},
type = {Technical Report},
number = {ECS-LFCS-92-226},
year = {1992},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce92d,
author = {Benjamin C. Pierce and Robert Pollack},
title = {Higher-Order Subtyping},
year = {1992},
month = AUG,
note = {Unpublished manuscript},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce:delegation,
author = {Benjamin C. Pierce},
title = {A Model of Delegation Based on Existential Types},
year = {1993},
month = APR,
note = {Available electronically},
plclub = {Yes},
bcp = {Yes},
keywords = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/delegation.ps}
}
@MISC{Pierce:Kyoto-talk,
author = {Benjamin C. Pierce},
title = {A Typed Higher-Order Programming Language Based on the
Pi-Calculus},
month = JUL,
year = {1993},
note = {Invited lecture at {\em Workshop on Type Theory and its
Application to Computer Systems}, Kyoto University},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{PierceRemyTurner93,
author = {Benjamin C. Pierce and Didier R\'emy and David N. Turner},
title = {A Typed Higher-Order Programming Language Based on the
Pi-Calculus},
month = JUL,
year = {1993},
booktitle = {Workshop on Type Theory and its Application to Computer
Systems, Kyoto University},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce92g,
author = {Benjamin C. Pierce},
title = {F-Omega-Sub User's Manual, Version 1.4},
year = {1993},
month = FEB,
note = {Available by FTP as part of the {\tt fomega}
implementation},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce:mutable,
author = {Benjamin C. Pierce},
title = {Mutable Objects},
year = {1993},
month = JUN,
note = {Draft report; available electronically},
plclub = {Yes},
bcp = {Yes},
keywords = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/mutable.ps}
}
@INPROCEEDINGS{PierceTurner92:POPL,
author = {Benjamin C. Pierce and David N. Turner},
title = {Object-Oriented Programming Without Recursive Types},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Charleston, South Carolina},
year = {1993},
month = JAN,
pages = {299--312},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce93c,
author = {Benjamin Pierce},
title = {Object-Oriented Programming in Typed Lambda-Calculus:
Exercises and Solutions},
year = {1993},
month = APR,
note = {Lecture notes for 1992 Frankische OOrientierungstage,
University of Erlangen, Germany (revised version)},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{PierceTurner92b,
author = {Benjamin C. Pierce and David N. Turner},
title = {Statically Typed Friendly Functions via Partially Abstract
Types},
institution = {University of Edinburgh, LFCS},
type = {Technical Report},
number = {ECS-LFCS-93-256},
month = APR,
year = {1993},
note = {Also available as INRIA-Rocquencourt Rapport de Recherche
No. 1899},
plclub = {Yes},
bcp = {Yes},
keywords = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/friendly.ps}
}
@MISC{Pierce:JFLA-talk,
author = {Benjamin C. Pierce},
title = {Typage des Traits Orient\'es-Objets},
month = FEB,
year = {1993},
note = {Invited lecture at {\em Journe\'es Francophones des
Langages Applicatifs}, Annecy, France},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{PierceSangiorgi95,
author = {Benjamin C. Pierce and Davide Sangiorgi},
title = {Typing and Subtyping for Mobile Processes},
booktitle = {Logic in Computer Science},
year = {1993},
note = {Full version in \bgroup\em Mathematical Structures in
Computer Science \egroup, Vol.\ 6, No.\ 5, 1996},
full = {http://www.cis.upenn.edu/~bcpierce/papers/pi.ps},
plclub = {Yes},
bcp = {Yes},
keys = {pict}
}
@MISC{Pierce:fomega,
author = {Benjamin C. Pierce},
title = {{\sc F-Omega-Sub}: a polymorphic $\lambda$-calculus with
higher-order subtyping and object-oriented extensions},
year = {1993},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{Pierce92a,
author = {Benjamin C. Pierce},
title = {Bounded Quantification is Undecidable},
journal = {Information and Computation},
year = 1994,
volume = 112,
number = 1,
pages = {131--165},
month = JUL,
note = {Also in C. A. Gunter and J. C. Mitchell, editors, {\em
Theoretical Aspects of Object-Oriented Programming:
Types, Semantics, and Language Design}, MIT Press, 1994. Summary in \bgroup \em {ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Albuquerque, New Mexico\egroup},
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/fsubpopl.ps}
}
@MISC{Pierce:COPC-talk,
author = {Benjamin C. Pierce},
title = {Concurrent Objects in a Process Calculus},
note = {Invited lecture at {\em Theory and Practice of Parallel
Programming (TPPP)}, Sendai, Japan},
year = 1994,
month = NOV,
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{CastagnaPierce93,
author = {Giuseppe Castagna and Benjamin Pierce},
title = {Decidable Bounded Quantification},
booktitle = {Proceedings of the Twenty-First {ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Portland, Oregon},
publisher = {ACM},
year = 1994,
month = JAN,
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/fsubnew.ps}
}
@INPROCEEDINGS{PierceSteffen95,
author = {Benjamin C. Pierce and Martin Steffen},
realauthor = {Benjamin Pierce and Martin Steffen},
title = {Higher-Order Subtyping},
booktitle = {IFIP Working Conference on Programming Concepts, Methods
and Calculi (PROCOMET)},
year = 1994,
note = {Full version in \bgroup\em Theoretical Computer
Science\egroup, vol.~176, no.~1--2, pp.\ 235--282, 1997
(corrigendum in TCS vol.~184 (1997), p.~247)},
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/fomega.ps}
}
@TECHREPORT{SteffenPierce93:TR,
author = {Martin Steffen and Benjamin Pierce},
title = {Higher-Order Subtyping},
year = {1994},
month = JAN,
institution = {LFCS, University of Edinburgh},
number = {ECS-LFCS-94-280},
note = {Also available as {Universit\"at Erlangen-N\"urnberg
Interner Bericht IMMD7-01/94}. To appear in Theoretical
Computer Science.},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{HofmannPierce94a:TR,
author = {Martin Hofmann and Benjamin Pierce},
title = {Positive Subtyping},
year = {1994},
month = SEP,
institution = {LFCS, University of Edinburgh},
number = {ECS-LFCS-94-303},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{PierceTurner92,
author = {Benjamin C. Pierce and David N. Turner},
title = {Simple Type-Theoretic Foundations for Object-Oriented
Programming},
note = {Summary in \bgroup\em {ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Charleston, South Carolina\egroup, 1993},
journal = {Journal of Functional Programming},
volume = 4,
number = 2,
month = APR,
pages = {207--247},
year = {1994},
plclub = {Yes},
bcp = {Yes},
pdf = {http://www.cis.upenn.edu/~bcpierce/papers/oop.pdf},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/oop.ps},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/oop-popl.ps},
keywords = {oop}
}
@ARTICLE{Pierce94a,
author = {Benjamin C. Pierce},
title = {Woggles from {O}z: {W}riting Interactive Fiction},
note = {Expanded version available electronically},
journal = {Leonardo: Journal of the International Society for the
Arts, Sciences, and Technology},
year = {1994},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{HofmannPierce94,
author = {Martin Hofmann and Benjamin Pierce},
title = {A Unifying Type-Theoretic Framework for Objects},
journal = {Journal of Functional Programming},
volume = {5},
number = {4},
pages = {593--635},
month = OCT,
note = {Previous versions appeared in the Symposium on Theoretical
Aspects of Computer Science, 1994, (pages 251--262) and,
under the title ``An Abstract View of Objects and Subtyping
(Preliminary Report),'' as University of Edinburgh, LFCS
technical report ECS-LFCS-92-226, 1992},
year = 1995,
plclub = {Yes},
bcp = {Yes},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/abstroop.ps},
keywords = {oop}
}
@INPROCEEDINGS{PierceTurner94:COPC,
author = {Benjamin C. Pierce and David N. Turner},
title = {Concurrent Objects in a Process Calculus},
booktitle = {Theory and Practice of Parallel Programming (TPPP),
Sendai, Japan (Nov.{} 1994)},
editor = {Takayasu Ito and Akinori Yonezawa},
year = {1995},
month = APR,
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
number = {907},
pages = {187--215},
short = {``Concurrent Objects in a Process Calculus,'' Benjamin C.
Pierce and David N. Turner, invited lecture at {\it Theory
and Practice of Parallel Programming (TPPP)}, Sendai, Japan
(Nov.{} 1994). Springer Lecture Notes in Computer Science
907, pp.~187--215},
plclub = {Yes},
bcp = {Yes},
keys = {pict},
url = {http://www.cis.upenn.edu/~bcpierce/papers/copc.ps}
}
@INPROCEEDINGS{CastagnaPierce95,
author = {Giuseppe Castagna and Benjamin Pierce},
title = {Corrigendum: Decidable Bounded Quantification},
booktitle = {Proceedings of the Twenty-Second {ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Portland, Oregon},
publisher = {ACM},
year = 1995,
month = JAN,
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/fsubnew-corrigendum.ps}
}
@ARTICLE{Abadi92,
author = {Mart\'{\i}n Abadi and Luca Cardelli and Benjamin Pierce
and Didier R\'{e}my},
title = {Dynamic Typing in Polymorphic Languages},
journal = {Journal of Functional Programming},
volume = {5},
number = {1},
pages = {111--130},
month = JAN,
note = {Summary in \bgroup \em ACM SIGPLAN Workshop on ML and its
Applications\egroup, June 1992},
year = 1995,
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:LinearPiTalk,
author = {Benjamin C. Pierce},
title = {Linearity and the Pi-Calculus},
note = {Invited lecture at {\em Advances in Type Systems for
Computation}, Cambridge, England},
year = 1995,
month = AUG,
plclub = {Yes},
bcp = {Yes}
}
@MISC{KobayashiPierceTurner:LinearPiTR,
author = {Naoki Kobayashi and Benjamin C. Pierce and David N.
Turner},
title = {Linearity and the Pi-Calculus},
year = {1995},
note = {Technical report, Department of Information Science,
University of Tokyo and Computer Laboratory, University of
Cambridge},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{HofmannPierce94a,
author = {Martin Hofmann and Benjamin Pierce},
title = {Positive Subtyping},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), San Francisco, California},
year = {1995},
month = JAN,
pages = {186--197},
note = {Full version in \bgroup\em Information and
Computation\egroup, volume 126, number 1, April 1996. Also
available as University of Edinburgh technical report
ECS-LFCS-94-303, September 1994},
plclub = {Yes},
bcp = {Yes},
keywords = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/pos.ps}
}
@MISC{Pierce:LICSSurvey,
author = {Benjamin C. Pierce},
title = {Types and Programming Languages: The Next Generation},
note = {Invited tutorial at {\em Logic in Computer Science (LICS)}},
year = 2003,
plclub = {Yes},
bcp = {Yes},
keys = {typessurveys},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/tng-lics2003-slides.pdf}
}
@MISC{Pierce:ModulesTutorial,
author = {Benjamin C. Pierce},
title = {Advanced Module Systems: A Guide for the Perplexed},
note = {Invited tutorial at {\em International Conference on Functional
Programming (ICFP)}},
year = 2000,
plclub = {Yes},
bcp = {Yes},
keys = {typessurveys},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/modules-icfp.ps}
}
@MISC{Pierce:HorizonDayTalk,
author = {Benjamin C. Pierce},
title = {Using Types to Compare Objects and {ADT}s},
note = {Invited lecture at {\em Horizon Day}, Indiana University},
year = 1995,
month = OCT,
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{BruceCardelliPierce96:old,
author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
title = {Comparing Object Encodings},
booktitle = {Invited lecture at Third Workshop on Foundations of Object
Oriented Languages (FOOL 3)},
year = 1996,
month = JUL,
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{NestmannPierce96,
author = {Uwe Nestmann and Benjamin C. Pierce},
title = {Decoding Choice Encodings},
booktitle = {Proceedings of CONCUR '96},
year = 1996,
month = AUG,
note = {Full version in \bgroup\em Information and
Computation\egroup, 163(1): 1--59 (2000)},
plclub = {Yes},
bcp = {Yes},
full = {http://www.cis.upenn.edu/~bcpierce/papers/choice.ps},
keys = {pict}
}
@UNPUBLISHED{Pierce:EvenSimpler,
author = {Benjamin C. Pierce},
title = {Even simpler type-theoretic foundations for {OOP}},
month = MAR,
year = {1996},
note = {Manuscript (circulated electronically)},
plclub = {Yes},
bcp = {Yes}
}
@INCOLLECTION{Pierce95a,
author = {Benjamin C. Pierce},
title = {Foundational Calculi for Programming Languages},
booktitle = {Handbook of Computer Science and Engineering},
chapter = {139},
publisher = {CRC Press},
year = {1996},
editor = {Allen B. Tucker},
plclub = {Yes},
bcp = {Yes},
full = {http://www.cis.upenn.edu/~bcpierce/papers/crchandbook.ps},
keys = {pict}
}
@ARTICLE{CompagnoniPierce93,
author = {Adriana B. Compagnoni and Benjamin C. Pierce},
title = {Intersection Types and Multiple Inheritance},
pages = {469--501},
journal = {Mathematical Structures in Computer Science},
month = OCT,
year = 1996,
volume = 6,
number = 5,
source = {http://theory.lcs.mit.edu/~dmjones/hbp/mscs/mscs.bib},
note = {Preliminary version available as University of Edinburgh
technical report ECS-LFCS-93-275 and Catholic University
Nijmegen computer science technical report 93-18, Aug.
1993, under the title ``Multiple Inheritance via
Intersection Types''},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{KobayashiPierceTurner:LinearPi,
author = {Naoki Kobayashi and Benjamin C. Pierce and David N.
Turner},
title = {Linearity and the Pi-Calculus},
year = {1996},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), St.~Petersburg Beach, Florida},
note = {Full version in \bgroup\em ACM Transactions on Programming Languages and Systems\egroup, 21(5), pp. 914--947, September 1999},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{CompagnoniPierce93:old,
author = {Adriana B. Compagnoni and Benjamin C. Pierce},
title = {Multiple Inheritance via Intersection Types},
journal = {Mathematical Structures in Computer Science},
year = 1996,
note = {To appear. Preliminary version available as University of
Edinburgh technical report ECS-LFCS-93-275 and Catholic
University Nijmegen computer science technical report
93-18, Aug. 1993},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{OnBinaryMethods,
author = {Kim B. Bruce and Luca Cardelli and Giuseppe Castagna and
{the Hopkins Objects Group (Jonathan Eifrig, Scott Smith,
Valery Trifonov)} and Gary T. Leavens and Benjamin Pierce},
title = {On Binary Methods},
journal = {Theory and Practice of Object Systems},
volume = 1,
number = 3,
pages = {221--242},
year = 1996,
checked = {No},
plclub = {Yes},
bcp = {Yes},
keywords = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/binary.ps}
}
@MISC{Pierce:FMOODSTalk,
author = {Benjamin C. Pierce},
title = {Processes, Types, and Observations},
note = {Invited lecture at {\em Formal Methods on Open,
Object-Based Distributed Systems (FMOODS)}, Paris},
year = 1996,
month = MAR,
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{Pierce96a,
author = {Benjamin C. Pierce},
title = {Types},
note = {Lecture notes for an undergraduate course at Cambridge
University},
month = FEB,
year = 1996,
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{PierceSangiorgi96,
author = {Benjamin Pierce and Davide Sangiorgi},
title = {Behavioral Equivalence in the Polymorphic Pi-Calculus},
year = 1997,
booktitle = {Principles of Programming Languages (POPL)},
note = {Full version in {\em Journal of the Association for
Computing Machinery (JACM)}, 47(3), May 2000},
pages = {531--584},
full = {http://www.cis.upenn.edu/~bcpierce/papers/polybisim.ps},
plclub = {Yes},
bcp = {Yes},
keys = {pict}
}
@TECHREPORT{Pierce:BQB,
author = {Benjamin C. Pierce},
title = {Bounded Quantification with Bottom},
year = {1997},
institution = {Computer Science Department, Indiana University},
series = {CSCI},
number = {492},
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/bqb.ps}
}
@INPROCEEDINGS{BruceCardelliPierce96:TACS,
author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
title = {Comparing Object Encodings},
booktitle = {International Symposium on Theoretical Aspects of Computer Software (TACS)},
year = 1997,
month = SEP,
note = {An earlier version was presented as an invited lecture at
the Third International Workshop on Foundations of Object
Oriented Languages (FOOL 3), July 1996; full version in \bgroup\em Information and Computation\egroup, 155(1--2):108-133, 1999},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{PierceSteffen95:old,
author = {Benjamin Pierce and Martin Steffen},
title = {Higher-Order Subtyping},
year = 1997,
journal = {Theoretical Computer Science},
volume = 176,
number = {1--2},
pages = {235--282},
note = {Summary in IFIP Working Conference on Programming
Concepts, Methods and Calculi (PROCOMET), June 1994; also
University of Edinburgh technical report ECS-LFCS-94-280
and {Universit\"at Erlangen-N\"urnberg Interner Bericht
IMMD7-01/94}, January 1994.},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{Pierce92b,
author = {Benjamin C. Pierce},
title = {Intersection Types and Bounded Polymorphism},
pages = {129--193},
journal = {Mathematical Structures in Computer Science},
month = APR,
year = 1997,
volume = 7,
number = 2,
source = {http://theory.lcs.mit.edu/~dmjones/hbp/mscs/mscs.bib},
note = {Summary in {\em Typed Lambda
Calculi and Applications}, March 1993, pp. 346--360},
ascii = {Benjamin C. Pierce, "Intersection Types and Bounded
Polymorphism." Conference on Typed Lambda Calculi and
Applications, March, 1993},
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:LFPTW,
author = {Benjamin C. Pierce},
title = {Languages for Programming the Web},
month = DEC,
year = {1997},
note = {Course materials for a graduate seminar on the theory and
practice of mobile agent programming. Available through
{\tt http://www.cis.upenn.edu/$sim$bcpierce/courses/629}.},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{PierceTurner:LTI-FSUB,
author = {Benjamin C. Pierce and David N. Turner},
title = {Local Type Argument Synthesis with Bounded Quantification},
year = {1997},
institution = {Computer Science Department, Indiana University},
month = JAN,
series = {CSCI},
number = {495},
plclub = {Yes},
bcp = {Yes},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/lti-fsub.ps},
keys = {inference}
}
@TECHREPORT{PierceTurner:LTI-TR,
author = {Benjamin C. Pierce and David N. Turner},
title = {Local Type Inference},
year = {1997},
institution = {Computer Science Department, Indiana University},
series = {CSCI},
number = {493},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{PierceTurner:PictDefn,
author = {Benjamin C. Pierce and David N. Turner},
title = {Pict Language Definition},
year = {1997},
note = {Available electronically},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{PierceTurner:PictLib,
author = {Benjamin C. Pierce and David N. Turner},
title = {Pict Libraries Manual},
year = {1997},
note = {Available electronically},
plclub = {Yes},
bcp = {Yes}
}
@MISC{PierceTurner:PictCompiler,
author = {Benjamin C. Pierce and David N. Turner},
title = {Pict: A Programming Language Based on the Pi-Calculus},
year = {1997},
note = {\URL{http://www.cis.upenn.edu/~bcpierce/papers/pict}},
plclub = {Yes},
bcp = {Yes}
}
@MISC{PictDistribution,
author = {Benjamin C. Pierce and David N. Turner},
title = {The {Pict} Programming Language},
year = {2001},
homepage = {http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html},
plclub = {Yes},
bcp = {Yes},
keys = {pict},
note = {This directory contains various papers, including a tutorial and user's manual, as well as complete compiler sources and installation instructions. (Be sure not to miss the artwork department!)}
}
@UNPUBLISHED{Pierce94b,
author = {Benjamin C. Pierce},
title = {Programming in the Pi-Calculus: {A} Tutorial Introduction
to {P}ict},
year = {1997},
note = {Available electronically},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{Pierce98:ACReview,
author = {Benjamin C. Pierce},
title = {Review of {A Theory of Objects}, by {A}badi and
{C}ardelli},
year = {1997},
volume = 40,
number = 5,
pages = {297--298},
journal = {The Computer Journal},
source = {Tom Melham},
plclub = {Yes},
bcp = {Yes},
keywords = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/ac-review.ps}
}
@ARTICLE{GhelliPierce95-OLD,
author = {Giorgio Ghelli and Benjamin Pierce},
title = {Bounded Existentials and Minimal Typing},
year = {1998},
volume = 193,
pages = {75--96},
journal = {Theoretical Computer Science},
plclub = {Yes},
bcp = {Yes},
note = {Circulated in manuscript form in 1992}
}
@MISC{GhelliPierce95,
author = {Giorgio Ghelli and Benjamin Pierce},
title = {Bounded Existentials and Minimal Typing},
year = {1992},
note = {Circulated in manuscript form. Full version in
{\em Theoretical Computer Science}, 193(1--2):75--96, February 1998.},
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/exists.ps}
}
@TECHREPORT{BalasubramaniamPierce98-TR,
author = {S. Balasubramaniam and Benjamin C. Pierce},
title = {File Synchronization},
institution = {Computer Science Department, Indiana University},
series = {CSCI},
number = {507},
month = APR,
year = 1998,
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{PierceTurner:LTI,
author = {Benjamin C. Pierce and David N. Turner},
title = {Local Type Inference},
year = 1998,
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), San Diego, California},
note = {Full version in \bgroup\em ACM Transactions on Programming
Languages and Systems (TOPLAS)\egroup, 22(1), January 2000,
pp.~1--44},
plclub = {Yes},
bcp = {Yes},
keys = {inference},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/lti.pdf},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/lti-popl.pdf},
full = {http://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf}
}
@INPROCEEDINGS{HofmannPierce:TD,
author = {Martin Hofmann and Benjamin C. Pierce},
title = {Type Destructors},
booktitle = {Informal proceedings of the Fourth International Workshop
on Foundations of Object-Oriented Languages (FOOL)},
editor = {Didier R\'e{}my},
month = JAN,
year = {1998},
note = {Full version in {\em Information and Computation}, 172(1)29--62 (2002)},
plclub = {Yes},
bcp = {Yes},
keys = {oop},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/td.ps}
}
@MISC{Pierce:CONCUR-tutorial,
author = {Benjamin C. Pierce},
title = {Type Systems for Concurrent Calculi},
month = SEP,
year = {1998},
note = {Invited tutorial at {\em CONCUR}, Nice, France},
plclub = {Yes},
bcp = {Yes}
}
@INCOLLECTION{BunemanPierce99,
author = {Peter Buneman and Benjamin Pierce},
booktitle = {Internet Programming Languages},
title = {Union Types for Semistructured Data},
year = {1998},
month = SEP,
publisher = {Springer-Verlag},
note = {Proceedings of the International Database Programming
Languages Workshop. LNCS 1686},
plclub = {Yes},
bcp = {Yes},
keys = {xduce},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/utssd.ps}
}
@INPROCEEDINGS{BalasubramaniamPierce98,
author = {S. Balasubramaniam and Benjamin C. Pierce},
title = {What is a file synchronizer?},
booktitle = {Fourth Annual ACM/IEEE International Conference on Mobile
Computing and Networking (MobiCom '98)},
month = OCT,
year = 1998,
note = {Full version available as Indiana University CSCI
technical report \#507, April 1998},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/snc-mobicom.ps},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/snc.ps},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/snc-slides.ps},
keys = {unison},
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:GlobalComputingFoolTalk,
author = {Benjamin C. Pierce},
title = {Global Computing: Some Questions for {FOOLs}},
slides = {gc-fool-slides.ps},
plclub = {Yes},
bcp = {Yes},
keys = {concurrencysurveys},
note = {Invited talk at FOOL workshop},
year = 2001
}
@MISC{Pierce:TypeSystemsForConcurrencyTalk,
author = {Benjamin C. Pierce},
title = {Type Systems for Concurrent Calculi},
slides = {concur98.ps},
plclub = {Yes},
bcp = {Yes},
keys = {concurrencysurveys},
note = {Invited tutorial at CONCUR},
year = 1998
}
@MISC{Pierce:FileSyncTheoryAndPracticeSlides,
author = {Benjamin C. Pierce},
title = {File Synchronization: Theory and Practice},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/new-snc-slides.ps},
plclub = {Yes},
bcp = {Yes},
keys = {unison},
year = 2001
}
@MISC{Pierce:UnisonAFileSync-Slides,
author = {Benjamin C. Pierce},
title = {Unison: A file synchronizer and its specification},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/snc-tacs-2001Oct.ps},
note = {Invited talk at {\em Theoretical Aspects of Computer Software}
(TACS), Sendai, Japan},
plclub = {Yes},
bcp = {Yes},
keys = {unison},
year = 2001
}
@MISC{Pierce:snc,
author = {Benjamin C. Pierce and Sundar Balasubramaniam, Trevor Jim
and Insup Lee and Insik Shin},
title = {{\sc Snc}: a file synchronizer},
year = {1998},
note = {(Superseded by {\sc Unison}.)},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{IgarashiPierceWadler99,
author = {Atsushi Igarashi and Benjamin Pierce and Philip Wadler},
title = {Featherweight {J}ava: {A} Minimal Core Calculus for {J}ava
and {GJ}},
month = OCT,
booktitle = {{ACM} {SIGPLAN} {C}onference on {O}bject {O}riented {P}rogramming:
{S}ystems, {L}anguages, and {A}pplications ({OOPSLA})},
year = {1999},
note = {Full version in ACM Transactions on Programming
Languages and Systems (TOPLAS), 23(3), May 2001},
plclub = {Yes},
bcp = {Yes},
keys = {oop},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/fj-oopsla.ps},
full = {http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf}
}
@INPROCEEDINGS{IgarashiPierce99,
author = {Atsushi Igarashi and Benjamin C. Pierce},
title = {Foundations for Virtual Types},
month = JUN,
year = 1999,
booktitle = {European Conference on Object-Oriented Programming (ECOOP), Lisbon, Portugal},
note = {Also in informal proceedings of the
{\em Workshop on Foundations of Object-Oriented Languages
(FOOL)}, January 1999. Full version in {\em Information and
Computation}, 175(1): 34--49, May 2002},
plclub = {Yes},
bcp = {Yes},
keys = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/vt.ps}
}
@TECHREPORT{HosoyaPierce99,
author = {Haruo Hosoya and Benjamin C. Pierce},
title = {How Good is Local Type Inference?},
institution = {University of Pennsylvania},
number = {MS-CIS-99-17},
month = JUN,
year = 1999,
plclub = {Yes},
bcp = {Yes},
keys = {inference},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/hgilti.ps}
}
@ARTICLE{KobayashiPierceTurner:LinearPi:TOPLAS,
author = {Naoki Kobayashi and Benjamin C. Pierce and David N.
Turner},
title = {Linearity and the {Pi-Calculus}},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {21},
number = {5},
pages = {914--947},
month = SEP,
year = {1999},
coden = {ATPSDT},
fullissn = {0164-0925},
bibdate = {Tue Sep 26 10:12:58 MDT 2000},
source = {TOPLAS db},
note = {Summary in POPL 1996.},
keys = {pict},
full = {http://www.acm.org/pubs/articles/journals/toplas/1999-21-5/p914-kobayashi/p914-kobayashi.pdf;
http://www.acm.org/pubs/citations/journals/toplas/1999-21-5/p914-kobayashi/},
abstract = {The economy and flexibility of the pi-calculus make it an
attractive object of theoretical study and a clean basis
for concurrent language design and implementation. However,
such generality has a cost: encoding higher-level features
like functional computation in pi-calculus throws away
potentially useful information. We show how a linear type
system can be used to recover important static information
about a process's behavior. In particular, we can guarantee
that two processes communicating over a linear channel
cannot interfere with other communicating processes. After
developing standard results such as soundness of typing, we
focus on equivalences, adapting the standard notion of
barbed bisimulation to the linear setting and showing how
reductions on linear channels induce a useful ``partial
confluence'' of process behaviors. For an extended example
of the theory, we prove the validity of a tail-call
optimization for higher-order functions represented as
processes.},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{SewellWojciechowskiPierce98,
author = {Peter Sewell and Pawel Wojciechowski and Benjamin Pierce},
title = {Location Independence for Mobile Agents},
booktitle = {Proceedings of {ICCL} '98},
editor = {H. E. Bal and B. Belkhouche and L. Cardelli},
volume = {1686},
series = {lncs},
publisher = {Springer-Verlag},
month = SEP,
year = {1999},
note = {An earlier version with title {\em Location-Independent
Communication for Mobile Agents: a Two-Level
Architecture\/} appeared as Technical Report 462, Computer
Laboratory, University of Cambridge, April 1999},
plclub = {Yes},
bcp = {Yes},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/wipl.ps},
official = {http://link.springer.de/link/service/series/0558/bibs/1686/16860001.htm},
keys = {mobileagents}
}
@TECHREPORT{SewellWojciechowskiPierce98:TR,
author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C.
Pierce},
title = {Location-Independent Communication for Mobile Agents: a
Two-Level Architecture},
institution = {Computer Laboratory, University of Cambridge},
year = {1999},
number = {462},
plclub = {Yes},
bcp = {Yes}
}
@MISC{HarmonyRelationsPoster,
author = {Aaron Bohannon and Jeffrey A. Vaughan and
Benjamin C. Pierce},
title = {Relational Lenses: {A} language for defining
updateable views},
year = {2005},
month = OCT,
note = {Poster presented at Greater Philadelphia DB/IR Day},
bcp = {Yes},
keys = {harmony},
pdf = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-relations-dbir-poster.pdf}
}
@INPROCEEDINGS{BohannonPierceVaughan,
author = {Aaron Bohannon and Jeffrey A. Vaughan and
Benjamin C. Pierce},
title = {Relational Lenses: {A} Language for Updateable Views},
year = {2006},
booktitle = {Principles of Database Systems (PODS)},
note = {Extended version available as University of Pennsylvania
technical report MS-CIS-05-27},
bcp = {Yes},
plclub = {Yes},
keys = {harmony},
pdf = {http://www.cis.upenn.edu/~bcpierce/papers/dblenses-pods.pdf},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/dblenses-tr.pdf}
}
@MISC{SahuguetPierceTannen2000,
author = {Arnaud Sahuguet and Benjamin Pierce and Val Tannen},
title = {Chaining, Referral, Subscription, Leasing: New Mechanisms
in Distributed Query Optimization},
month = FEB,
year = {2000},
plclub = {Yes},
bcp = {Yes}
}
@MISC{SahuguetPierceTannen2000a,
author = {Arnaud Sahuguet and Benjamin Pierce and Val Tannen},
title = {Distributed Query Optimization: Can Mobile Agents Help?},
month = FEB,
year = {2000},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{SewellWojciechowskiPierce98:old,
author = {Peter Sewell and Pawel T. Wojciechowski and Benjamin C.
Pierce},
title = {Location Independence for Mobile Agents},
year = 2000,
note = {To appear in an edited collection of papers (in Springer
LNCS) from the {\em Workshop on Internet Programming
Languages}, June 1998, Loyola University},
plclub = {Yes},
bcp = {Yes}
}
@MISC{Pierce:ICFP-invited,
author = {Benjamin C. Pierce},
title = {Module Systems: A Guide for the Perplexed},
month = SEP,
year = {2000},
note = {Invited talk at {\em ICFP}, Montreal},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{IgarashiPierce99:FJI,
author = {Atsushi Igarashi and Benjamin C. Pierce},
title = {On Inner Classes},
journal = {Information and Computation},
year = 2002,
volume = 177,
number = 1,
pages = {56--89},
month = AUG,
note = {A special issue with papers from the 7th International Workshop on Foundations of Object-Oriented Languages (FOOL){\rm, informal proceedings}. An earlier
version appeared in \emph \bgroup Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP)\egroup, Springer LNCS 1850, pages
129--153},
plclub = {Yes},
bcp = {Yes},
keys = {oop},
conf = {http://www.cis.upenn.edu/~bcpierce/fji.ps},
tr = {http://www.cis.upenn.edu/~bcpierce/fji-tr.ps}
}
@INCOLLECTION{PierceTurner:PictDesign,
author = {Benjamin C. Pierce and David N. Turner},
title = {Pict: A Programming Language Based on the Pi-Calculus},
year = {2000},
booktitle = {Proof, Language and Interaction: Essays in Honour of Robin
Milner},
editor = {Gordon Plotkin and Colin Stirling and Mads Tofte},
publisher = {MIT Press},
pages = {455--494},
checked = {Yes},
plclub = {Yes},
bcp = {Yes},
full = {http://www.cis.upenn.edu/~bcpierce/papers/pict-design.ps},
keys = {pict}
}
@ARTICLE{GapeyevLevinPierce2000,
author = {Vladimir Gapeyev and Michael Levin and Benjamin Pierce},
title = {Recursive Subtyping Revealed},
journal = {Journal of Functional Programming},
volume = 12,
number = 6,
pages = {511--548},
checked = {Yes},
year = {2003},
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/rsr.ps},
note = {Preliminary version in {\em International Conference on
Functional Programming (ICFP)}, 2000. Also appears as
Chapter 21 of {\em Types and Programming Languages}
by Benjamin C. Pierce (MIT Press, 2002).}
}
@INPROCEEDINGS{GapeyevLevinPierce2000:ICFP,
author = {Vladimir Gapeyev and Michael Levin and Benjamin Pierce},
title = {Recursive Subtyping Revealed},
booktitle = {{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming
({ICFP}), Montreal, Canada},
year = {2000},
plclub = {Yes},
bcp = {Yes},
note = {To appear in {\em Journal of Functional Programming}}
}
@MISC{PierceSumii00,
author = {Benjamin Pierce and Eijiro Sumii},
title = {Relating Cryptography and Polymorphism},
month = JUL,
year = {2000},
plclub = {Yes},
bcp = {Yes},
note = {Some parts superseded by \cite{SumiiPierce01}},
keys = {security},
manuscript = {http://www.cis.upenn.edu/~bcpierce/papers/infohide.ps}
}
@TECHREPORT{LevinPierce99:OLD1,
author = {Michael Y. Levin and Benjamin C. Pierce},
title = {TinkerType: {A} Language for Playing with Formal Systems},
month = JUN,
year = {2000},
booktitle = {Logical Frameworks and Metalanguages},
note = {Invited talk (submitted for journal publication)},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{HosoyaPierce2000,
author = {Haruo Hosoya and Benjamin C. Pierce},
title = {{XDuce}: A Typed {XML} Processing Language (Preliminary
Report)},
booktitle = {International Workshop on the Web and Databases (WebDB)},
editor = {Dan Suciu and Gottfried Vossen},
month = MAY,
year = {2000},
note = {Reprinted in {\em The Web and Databases, Selected Papers},
Springer LNCS volume 1997, 2001},
keys = {xduce},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/xduce-prelim.ps},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{IgarashiPierceWadler01,
author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
title = {A Recipe for Raw Types},
year = 2001,
booktitle = {Workshop on Foundations of Object-Oriented Languages
(FOOL)},
plclub = {Yes},
bcp = {Yes},
keys = {oop},
short = {http://www.cis.upenn.edu/~bcpierce/papers/rfgj.ps}
}
@ARTICLE{BruceCardelliPierce96,
author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
title = {Comparing Object Encodings},
journal = {Information and Computation},
year = 1999,
month = NOV,
volume = 155,
number = {1/2},
pages = {108--133},
note = {Special issue of papers from {\em
Theoretical Aspects of Computer Software (TACS 1997)}.
An earlier version appeared as an invited
lecture in the Third International Workshop on Foundations
of Object Oriented Languages (FOOL 3), July 1996},
plclub = {Yes},
bcp = {Yes},
keys = {oop},
ps = {http://www.cis.upenn.edu/~bcpierce/papers/compobj.ps}
}
@UNPUBLISHED{JimPierceVouillon:UnisonSys,
author = {Trevor Jim and Benjamin C. Pierce and J\'er\^ome Vouillon},
title = {How to Build a File Synchronizer},
year = {2003},
note = {Manuscript},
plclub = {Yes},
bcp = {Yes}
}
@ARTICLE{SumiiPierce01,
author = {Eijiro Sumii and Benjamin C. Pierce},
title = {Logical Relations for Encryption},
journal = {Journal of Computer Security},
year = {2003},
volume = {11},
number = {4},
pages = {521--554},
plclub = {Yes},
bcp = {Yes},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/infohide2.ps},
keys = {security},
note = {Extended abstract appeared in {\emph{14th IEEE Computer Security Foundations Workshop}}, pp.~256--269, 2001.}
}
@INPROCEEDINGS{HosoyaPierce2001,
author = {Haruo Hosoya and Benjamin C. Pierce},
title = {Regular Expression Pattern Matching},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), London, England},
year = {2001},
plclub = {Yes},
bcp = {Yes},
checked = {Yes},
note = {Full version in {\em Journal of
Functional Programming}, 13(6), Nov. 2003, pp. 961--1004},
full = {http://www.cis.upenn.edu/~bcpierce/papers/tapat.ps},
keys = {xduce}
}
@ARTICLE{HosoyaVouillonPierce2000,
author = {Haruo Hosoya and J\'er\^ome Vouillon and Benjamin C.
Pierce},
title = {Regular Expression Types for {XML}},
journal = {ACM Transactions on Programming Languages and Systems
(TOPLAS)},
year = {2005},
month = JAN,
volume = 27,
number = 1,
pages = {46--90},
note = {Preliminary version in ICFP 2000},
plclub = {Yes},
bcp = {Yes},
checked = {Yes},
keys = {xduce},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/regsub.ps},
full = {http://www.cis.upenn.edu/~bcpierce/papers/regsub-toplas.pdf}
}
@ARTICLE{HosoyaPierce2002,
author = {Haruo Hosoya and Benjamin C. Pierce},
title = {{XDuce}: A Statically Typed {XML} Processing Language},
journal = {ACM Transactions on Internet Technology},
year = {2003},
volume = 3,
number = 2,
month = MAY,
pages = {117--148},
checked = {Yes},
official = {http://doi.acm.org/10.1145/767193.767195},
plclub = {Yes},
bcp = {Yes},
keys = {xduce}
}
@INPROCEEDINGS{Pierce-Sumii-01,
author = {Eijiro Sumii and Benjamin Pierce},
title = {The Cryptographic {$\lambda$}-Calculus: Syntax, Semantics,
Type System and Logical Relation (in Japanese)},
booktitle = {Informal Proceedings of JSSST Workshop on Programming and
Programming Languages (PPL2001)},
year = {2001},
note = {Best paper prize},
plclub = {Yes},
bcp = {Yes}
}
@MISC{XtaticCompiler,
author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
title = {The {X}tatic Compiler and Runtime System},
year = {2005},
plclub = {Yes},
bcp = {Yes},
keys = {xtatic},
sources = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic.tgz}
}
@PHDTHESIS{LevinThesis,
author = {Michael Y. Levin},
title = {Run, Xtatic, Run: Efficient Implementation of an Object-Oriented
Language with Regular Pattern Matching},
school = {University of Pennsylvania},
year = {2005},
bcp = {Yes},
keys = {xtatic},
plclub = {Yes},
pdf = {http://www.cis.upenn.edu/~bcpierce/papers/levin-thesis.pdf}
}
@INPROCEEDINGS{GapeyevPierce03,
author = {Vladimir Gapeyev and Benjamin C. Pierce},
title = {Regular Object Types},
booktitle = {European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany},
year = {2003},
note = {A preliminary version was presented at FOOL '03},
plclub = {Yes},
bcp = {Yes},
keys = {xtatic},
short = {http://www.cis.upenn.edu/~bcpierce/papers/regobj.pdf},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/regobj-ecoop-slides.ps}
}
@ARTICLE{LevinPierce99,
author = {Michael Y. Levin and Benjamin C. Pierce},
title = {TinkerType: {A} Language for Playing with Formal Systems},
journal = {Journal of Functional Programming},
volume = 13,
number = 2,
month = MAR,
year = {2003},
note = {A preliminary version appeared as an invited
paper at the {\em Logical Frameworks and Metalanguages
Workshop (LFM)}, June 2000},
plclub = {Yes},
bcp = {Yes},
full = {http://www.cis.upenn.edu/~bcpierce/papers/tt-jfp.pdf},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/tt-slides.ps},
sources = {http://www.cis.upenn.edu/~bcpierce/papers/tt.tar.gz},
keys = {modular}
}
@UNPUBLISHED{PierceVouillon:UnisonSpec,
author = {Benjamin C. Pierce and J\'er\^ome Vouillon},
title = {Unison: A File Synchronizer and its Specification},
year = {2001},
note = {Manuscript},
plclub = {Yes},
bcp = {Yes}
}
@TECHREPORT{PierceVouillon:UnisonSpecTR,
author = {Benjamin C. Pierce and J\'er\^ome Vouillon},
title = {What's in {U}nison? {A} Formal
Specification and Reference Implementation
of a File Synchronizer},
year = {2004},
institution = {Dept. of Computer and Information Science, University of Pennsylvania},
number = {MS-CIS-03-36},
plclub = {Yes},
bcp = {Yes},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf},
keys = {unison}
}
@BOOK{Pierce:TypeSystems,
author = {Benjamin C. Pierce},
title = {Types and Programming Languages},
publisher = {MIT Press},
year = 2002,
plclub = {Yes},
bcp = {Yes},
keys = {books},
homepage = {http://www.cis.upenn.edu/~bcpierce/tapl},
errata = {http://www.cis.upenn.edu/~bcpierce/tapl/errata.txt}
}
@BOOK{ATTAPL,
editor = {Benjamin C. Pierce},
title = {Advanced Topics in Types and Programming Languages},
publisher = {MIT Press},
year = 2005,
plclub = {Yes},
bcp = {Yes},
keys = {books},
homepage = {http://www.cis.upenn.edu/~bcpierce/attapl}
}
@PROCEEDINGS{ISSS2002,
title = {Software Security -- Theories and Systems},
editor = {M. Okada and B. Pierce and A. Scedrov and H. Tokuda
and A. Yonezawa},
series = {Lecture Notes in Computer Science},
number = {2609},
publisher = {Springer-Verlag},
optaddress = {Berlin},
year = {2003},
note = {Revised papers from the Mext-NSF-JSPS {\em International
Symposium on Software Security}, Tokyo, Japan,
November 8-10, 2002},
isbn = {3-540-00708-3},
plclub = {Yes},
bcp = {Yes}
}
@PROCEEDINGS{TACS2001,
title = {Theoretical Aspects of
Computer Software (TACS), 4th International Symposium},
editor = {Naoki Kobayashi and Benjamin C. Pierce},
series = {Lecture Notes in Computer Science},
number = {2215},
publisher = {Springer-Verlag},
optaddress = {Berlin},
year = {2001},
location = {Sendai, Japan, October 29-31, 2001},
isbn = {3-540-42736-8},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{nwaysync,
booktitle = {International Symposium on Distributed Computing (DISC)},
editor = {Shlomi Dolev},
author = {Michael B. Greenwald and Sanjeev Khanna and
Keshav Kunal and Benjamin C. Pierce and Alan Schmitt},
title = {Agreeing to Agree: {C}onflict Resolution for
Optimistically Replicated Data},
keys = {harmony},
plclub = {Yes},
bcp = {Yes},
year = 2006,
short = {http://www.cis.upenn.edu/~bcpierce/papers/nway-disc.pdf},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/nway-tr.pdf},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/nway-disc-slides.pdf}
}
@INPROCEEDINGS{diff3,
author = {Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce},
title = {A Formal Investigation of Diff3},
year = 2007,
month = DEC,
short = {http://www.cis.upenn.edu/~bcpierce/papers/diff3-short.pdf},
plclub = {Yes},
bcp = {Yes},
keys = {harmony},
booktitle = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
editor = {Arvind and Prasad}
}
@ARTICLE{Focal2005-long,
author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore
and Benjamin C. Pierce and Alan Schmitt},
title = {Combinators for bidirectional tree transformations:
{A} linguistic approach to the view-update problem},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {29},
number = {3},
pages = {17},
month = MAY,
year = {2007},
publisher = {ACM Press},
address = {New York, NY, USA},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf},
full = {http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-final.pdf},
fullappendix = {http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-electronic-appendix.pdf},
doi = {http://portal.acm.org/citation.cfm?doid=1232420.1232424},
note = {Preliminary version presented at
the {\em Workshop on Programming Language Technologies for
XML (PLAN-X)}, 2004; extended abstract presented at
{\em Principles of Programming Languages (POPL)}, 2005},
bcp = {Yes},
plclub = {Yes},
keys = {harmony}
}
@MISC{Pierce:NEPLS2004,
author = {Benjamin C. Pierce},
title = {Combinators for Bi-Directional Tree Transformations:
{A} Linguistic Approach to the View Update Problem},
month = OCT,
year = 2004,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-slides.pdf},
note = {Invited talk at {\em New England Programming Languages Symposium}},
plclub = {Yes},
bcp = {Yes},
keys = {harmony}
}
@MISC{Pierce:LinksTalk2005,
author = {Benjamin C. Pierce},
title = {Fancy Types for XML: Friend or Foe?},
month = APR,
year = 2005,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/linkstalk-200504.pdf},
note = {Talk at {\em LINKS} workshop, April 2005},
plclub = {Yes},
bcp = {Yes},
keys = {xtatic}
}
@MISC{Pierce:HarmonyTalkTGC,
author = {Benjamin C. Pierce},
title = {Harmony: {T}he Art of Reconciliation},
month = APR,
year = 2005,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-tgc-talk-2005.pdf},
note = {Invited talk at {\em Trusted Global Computing} conference,
April 2005},
plclub = {Yes},
bcp = {Yes},
keys = {harmony}
}
@MISC{Pierce:HarmonyTalk2003,
author = {Benjamin C. Pierce},
title = {Harmony: A Synchronization Framework for Tree-Structured Data},
month = SEP,
year = 2003,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmonyslides-2003aug.pdf},
note = {Slides from a talk presented in several places
(Cambridge, Edinburgh,
Philadelphia, Princeton) in Fall 2003},
plclub = {Yes},
bcp = {Yes},
keys = {harmony}
}
@MISC{Pierce:ETAPSTalk2006,
author = {Benjamin C. Pierce},
title = {The Weird World of Bi-Directional Programming},
month = MAR,
year = 2006,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/lenses-etapsslides.pdf},
note = {ETAPS invited talk},
plclub = {Yes},
bcp = {Yes},
keys = {harmony}
}
@MISC{PierceFSTTCS07,
author = {Benjamin C. Pierce},
title = {Adventures in Bi-Directional Programming},
month = DEC,
year = 2007,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang-fsttcs.pdf},
note = {FSTTCS invited talk},
plclub = {Yes},
bcp = {Yes},
keys = {harmony}
}
@MISC{Pierce:EPFLTalk2002,
author = {Benjamin C. Pierce},
title = {Synchronize globally, compute locally},
month = JUL,
year = 2002,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmonyslides-epfl.ps},
note = {Keynote address at {\em Research Day on Global Computing},
EFPL, Lausanne},
plclub = {Yes},
bcp = {Yes},
keys = {harmony}
}
@TECHREPORT{HocusFocusTR2003-old,
author = {Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce
and Alan Schmitt},
title = {A Language for Bi-Directional Tree Transformations},
year = 2003,
type = {Technical Report},
number = {MS-CIS-03-08},
institution = { University of Pennsylvania},
plclub = {Yes},
bcp = {Yes},
note = {Revised April 2004}
}
@TECHREPORT{HarmonyOverview,
author = {Benjamin C. Pierce and Alan Schmitt and Michael B. Greenwald},
title = {Bringing {H}armony to Optimism:
{A} Synchronization Framework for Heterogeneous
Tree-Structured Data},
year = 2003,
type = {Technical Report},
number = {MS-CIS-03-42},
institution = {University of Pennsylvania},
plclub = {Yes},
bcp = {Yes},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-sync-tr.pdf},
keys = {harmony},
note = {Superseded by MS-CIS-05-02}
}
@TECHREPORT{SYNCTR2005,
author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard
and Benjamin C. Pierce and Alan Schmitt},
title = {Schema-Directed Data Synchronization},
month = MAR,
year = 2005,
type = {Technical Report},
number = {MS-CIS-05-02},
institution = {University of Pennsylvania},
note = {Supersedes MS-CIS-03-42},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf},
bcp = {Yes}
}
@ARTICLE{SYNC2005,
author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard
and Benjamin C. Pierce and Alan Schmitt},
title = {Exploiting Schemas in Data Synchronization},
journal = {Journal of Computer and System Sciences},
year = 2007,
note = {To appear. Extended abstract in
{\em Database Programming Languages (DBPL)} 2005},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf},
short = {http://www.cis.upenn.edu/~bcpierce/papers/sync-dbpl.pdf},
slides = {http://www.cis.upenn.edu/~jnfoster/papers/schema-sync-slides.pdf},
full = {http://www.cis.upenn.edu/~bcpierce/papers/sync-jcss.pdf},
keys = {harmony},
plclub = {Yes},
bcp = {Yes}
}
@UNPUBLISHED{HocusFocus2003,
author = {Michael B. Greenwald and Jonathan T. Moore
and Benjamin C. Pierce and Alan Schmitt},
title = {A Language for Bi-Directional Tree Transformations},
year = 2003,
institution = {Department of Computer and Information Science, University of Pennsylvania},
note = {Manuscript; available at \url{http://www.cis.upenn.edu/~bcpierce/papers/lenses.pdf}},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{SumiiPierce2004,
author = {Eijiro Sumii and Benjamin C. Pierce},
title = {A Bisimulation for Dynamic Sealing},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Venice, Italy},
year = {2004},
plclub = {Yes},
bcp = {Yes},
keys = {security},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/infohide3.pdf},
note = {Full version to appear in {\em Theoretical Computer Science}}
}
@INPROCEEDINGS{SumiiPierce2005,
author = {Eijiro Sumii and Benjamin C. Pierce},
title = {A Bisimulation for Type Abstraction and Recursion},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), Long Beach, California},
year = {2005},
keys = {security},
short = {http://www.cis.upenn.edu/~bcpierce/papers/infohide5-popl.pdf},
full = {http://www.cis.upenn.edu/~bcpierce/papers/infohide5-jacm.pdf},
plclub = {Yes},
bcp = {Yes},
note = {Full version to appear in JACM}
}
@INPROCEEDINGS{XtaticRuntime,
title = {{XML} Goes Native: {R}un-time Representations for {Xtatic}},
author = {Vladimir Gapeyev and Michael Y. Levin
and Benjamin C. Pierce and Alan Schmitt},
year = 2005,
month = APR,
booktitle = {14th International Conference on Compiler Construction},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-CC.pdf},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-TR.pdf},
plclub = {Yes},
bcp = {Yes},
keys = {xtatic}
}
@INPROCEEDINGS{XTProgr,
title = {Statically Typed Document Transformation: {A}n {Xtatic} Experience},
author = {Vladimir Gapeyev and Fran\c{c}ois Garillot and Benjamin C. Pierce},
year = 2006,
month = JAN,
booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X), informal proceedings},
pdf = {http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-planx.pdf},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-tr.pdf},
keys = {xtatic},
bcp = {Yes},
plclub = {Yes},
note = {Available from the Xtatic web site}
}
@INPROCEEDINGS{XtaticExperience,
title = {The {Xtatic} Experience},
author = {Vladimir Gapeyev and Michael Y. Levin
and Benjamin C. Pierce and Alan Schmitt},
booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X)},
plclub = {Yes},
bcp = {Yes},
month = JAN,
year = 2005,
note = {University of Pennsylvania
Technical Report MS-CIS-04-24, Oct 2004},
keys = {xtatic},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-TR.pdf},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-slides.pdf}
}
@TECHREPORT{GapeyevPierce2004,
title = {Paths into Patterns},
author = {Vladimir Gapeyev and Benjamin C. Pierce},
year = 2004,
month = OCT,
type = {Technical Report},
number = {MS-CIS-04-25},
institution = {University of Pennsylvania},
plclub = {Yes},
bcp = {Yes},
keys = {xtatic},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-pathambig-TR.pdf}
}
@INPROCEEDINGS{poplmark,
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},
title = {Mechanized metatheory for the masses: {T}he {POPLmark}
Challenge},
booktitle = {International Conference on Theorem Proving in
Higher Order Logics (TPHOLs)},
year = 2005,
month = {August},
ps = {http://www.cis.upenn.edu/~geoffw/research/papers/poplmark.ps},
psgz = {http://www.cis.upenn.edu/~geoffw/research/papers/poplmark.ps.gz},
pdf = {http://www.cis.upenn.edu/~geoffw/research/papers/poplmark.pdf},
plclub = {Yes},
bcp = {Yes},
keys = {poplmark},
abstract = {How close are we to a world where every paper on
programming languages is accompanied by an electronic
appendix with machine-checked proofs?
We propose a concrete set of benchmarks for measuring
progress in this area. Based on the metatheory of System
F-sub, a typed lambda-calculus with second-order
polymorphism, subtyping, and records, these benchmarks
embody many aspects of programming languages that are
challenging to formalize: variable binding at both the term
and type levels, syntactic forms with variable numbers of
components (including binders), and proofs demanding
complex induction principles. We hope that these benchmarks
will help clarify the current state of the art, provide a
basis for comparing competing technologies, and motivate
further research.}
}
@INPROCEEDINGS{LevinPierce05,
title = {Type-based Optimization for Regular Patterns},
author = {Michael Y. Levin and Benjamin C. Pierce},
booktitle = {Database Programming Languages (DBPL)},
year = 2005,
month = AUG,
bcp = {Yes},
plclub = {Yes},
keys = {xtatic},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/tb-TR.pdf}
}
@UNPUBLISHED{InCertProposal07,
title = {Manifest Security},
author = {Karl Crary and Robert Harper and Frank Pfenning and
Benjamin C. Pierce and Stephanie Weirich and
Stephan Zdancewic},
year = 2007,
month = JAN,
bcp = {Yes},
keys = {security},
plclub = {Yes},
note = {White paper},
pdf = {http://www.cis.upenn.edu/~bcpierce/papers/manifestsecurity-whitepaper.pdf}
}
@PROCEEDINGS{ICFP05,
title = {International Conference on Functional Programming (ICFP)},
editor = {Benjamin C. Pierce},
publisher = {ACM Press},
year = {2005},
location = {Tallinn, Estonia, September 2005},
plclub = {Yes},
bcp = {Yes}
}
@INPROCEEDINGS{Foster:FTL,
author = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
title = {A Logic Your Typechecker Can Count On: {U}nordered Tree Types in Practice},
booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X), informal proceedings},
year = {2007},
month = JAN,
bcp = {Yes},
keys = {harmony},
plclub = {Yes},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/dtts.pdf},
slides = {http://www.cis.upenn.edu/~bcpierce/papers/dtts-slides.pdf}
}
@MISC{Kennedy06,
author = {Andrew J. Kennedy and Benjamin C. Pierce},
title = {On Decidability of Nominal Subtyping with Variance},
year = {2006},
month = SEP,
bcp = {Yes},
keys = {oop,subtyping},
plclub = {Yes},
note = {FOOL-WOOD '07},
short = {http://www.cis.upenn.edu/~bcpierce/papers/variance.pdf}
}
@MISC{Aydemir07a,
author = {Brian Aydemir and Arthur Chargu{é}raud and Benjamin C. Pierce
and Randy Pollack and Stephanie Weirich},
title = {Engineering Formal Metatheory},
year = {2007},
month = JUL,
bcp = {Yes},
keys = {poplmark},
plclub = {Yes},
note = {Submitted for publication},
short = {http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf}
}
@MISC{Pierce08LambdaTA,
author = {Benjamin C. Pierce},
title = {Using a Proof Assistant to Teach Programming Language Foundations, or,
Lambda, the Ultimate {TA}},
year = {2008},
month = APR,
bcp = {Yes},
keys = {poplmark},
plclub = {Yes},
note = {White paper},
short = {http://www.cis.upenn.edu/~bcpierce/papers/plcurriculum.pdf}
}
@INPROCEEDINGS{Boomerang07,
author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt},
title = {Boomerang: Resourceful Lenses for String Data},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
{L}anguages ({POPL}), San Francisco, California},
year = {2008},
month = JAN,
bcp = {Yes},
keys = {harmony},
plclub = {Yes},
short = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang.pdf},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang-tr.pdf}
}
@UNPUBLISHED{HosoyaPierceTurner98,
author = {Haruo Hosoya and Benjamin C. Pierce and David N. Turner},
title = {Datatypes and Subtyping},
note = {Manuscript},
plclub = {Yes},
bcp = {Yes},
keys = {subtyping},
year = 1998,
ps = {http://www.cis.upenn.edu/~bcpierce/ds.ps}
}
@PROCEEDINGS{POPL92,
title = {Proceedings of the Nineteenth ACM Symposium on Principles
of Programming Languages (Albequerque, New Mexico)},
booktitle = {Proceedings of the Nineteenth ACM Symposium on Principles
of Programming Languages (Albequerque, New Mexico)},
month = JAN,
year = 1992
}