My personal bib database contains relatively complete sets of citations for several areas:
static type systems for object-oriented programming languages
subtyping and polymorphism
extensible record typing
category theory in computer science (up to 1990)
concurrent languages based on process calculi
pi-calculus
Keywords:
programming languages, type systems, subtyping, concurrency, lambda-calculus, object-oriented programming, category theory
Author Comments:
Some special BibTeX fields:
checked
Set to "yes" or a date if the citation has been checked against a physical copy of the document
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.