@Bibtex-file{Compiler/bcp.bib,
  title =        "Bibliography on programming languages",
  author =       "Benjamin C. Pierce",
  email =        "bcpierce@cis.upenn.edu",
  address =      "Department of Computer and Information Science\\
                 University of Pennsylvania\\ USA",
  supported =    "yes",
  keywords =     "programming languages, type systems, subtyping,
                 concurrency, lambda-calculus, object-oriented
                 programming, category theory",
  abstract =     "My personal bib database contains relatively complete
                 sets of citations for several areas: \begin{itemize}
                 \item static type systems for object-oriented
                 programming languages \item subtyping and polymorphism
                 \item extensible record typing \item category theory in
                 computer science (up to 1990) \item concurrent
                 languages based on process calculi \item
                 pi-calculus\end{itemize}",
  readme =       "Some special BibTeX fields: \begin{description}
                 \item[checked] Set to {"}yes{"} or a date if the
                 citation has been checked against a physical copy of
                 the document \item[fullauthor] Present in some cases
                 where the author's name appears in abbreviated form on
                 the actual document, but where I happened to know their
                 full name. The portion of the name that does not appear
                 on the document is placed in square brackets, following
                 standard practice in some publishing houses.
                 \item[fulleditor] Similar\end{description}",
}