bcp.bib

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

@article{LevinPierce99,
  author = {Michael Y. Levin and Benjamin C. Pierce},
  title = {TinkerType: {A} Language for Playing with Formal Systems},
  journal = {Journal of Functional Programming},
  volume = 13,
  number = 2,
  month = mar,
  year = {2003},
  note = {A preliminary version appeared as an invited
                  paper at the {\em Logical Frameworks and Metalanguages
                  Workshop (LFM)}, June 2000},
  plclub = {Yes},
  bcp = {Yes},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/tt-jfp.pdf},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/tt-slides.ps},
  sources = {http://www.cis.upenn.edu/~bcpierce/papers/tt.tar.gz},
  keys = {modular}
}