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