bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@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}
}
@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:MFPSTalk2008,
  author = {Benjamin C. Pierce},
  title = {Types Considered Harmful},
  month = may,
  year = 2008,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf},
  note = {Invited talk at {\em Mathematical Foundations 
                  of Programming Semantics (MFPS)}},
  plclub = {Yes},
  bcp = {Yes},
  keys = {typessurveys,contracts}
}
@misc{Pierce:PLMW-talk,
  author = {Benjamin C. Pierce},
  title = {Types},
  month = jan,
  year = 2012,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/PLMW-2012.pdf},
  note = {Invited talk at {\em Programming Languages
                  Mentoring Workshop}},
  keys = {typessurveys},
  plclub = {Yes},
  bcp = {Yes}
}
@misc{TypesALaMilner,
  author = {Benjamin C. Pierce},
  title = {Types {\` a} la {M}ilner},
  month = apr,
  year = 2012,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/TypesALaMilner.pdf},
  note = {Invited talk at {\em Milner Symposium}},
  keys = {typessurveys},
  plclub = {Yes},
  bcp = {Yes}
}
@misc{TypesALaMilner-ETE,
  author = {Benjamin C. Pierce},
  title = {Types {\` a} la {M}ilner},
  month = apr,
  year = 2012,
  video = {http://youtu.be/carP8i6YSZs},
  note = {Talk at {\em Philly Emerging Technologies Conference}},
  keys = {typessurveys},
  plclub = {Yes},
  bcp = {Yes}
}