bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}

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

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

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

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

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

@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).}
}

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

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