bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@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},
  keys = {oop},
  ps = {http://www.cis.upenn.edu/~bcpierce/papers/delegation.ps}
}
@unpublished{Pierce:mutable,
  author = {Benjamin C. Pierce},
  title = {Mutable Objects},
  year = {1993},
  month = jun,
  note = {Draft report; available electronically},
  plclub = {Yes},
  bcp = {Yes},
  keys = {oop},
  ps = {http://www.cis.upenn.edu/~bcpierce/papers/mutable.ps}
}
@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},
  keys = {oop},
  ps = {http://www.cis.upenn.edu/~bcpierce/papers/friendly.ps}
}
@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},
  keys = {oop}
}
@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},
  keys = {oop}
}
@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},
  keys = {oop},
  ps = {http://www.cis.upenn.edu/~bcpierce/papers/pos.ps}
}
@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},
  keys = {oop},
  ps = {http://www.cis.upenn.edu/~bcpierce/papers/binary.ps}
}
@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},
  keys = {oop},
  ps = {http://www.cis.upenn.edu/~bcpierce/papers/ac-review.ps}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}