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