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