Index of Bibliographies

Network Bibliographic Databases

• The Collection of Computer Science Bibliographies (this includes my own collections). [Toronto mirror]
• CiteSeer
• Google Scholar
• DBLP
• Scopus.com
• programming language bibliography page by Mark Leone.
• Bibtex bibliography on constraints

My Own BibTeX files

The easiest way to use my bib files is either to make a copy in one big file (or compressed), or to search them. (Thanks to Yoonsik Cheon for the PHP interface.)

What is listed below is a bunch of separate bibliography files that I (and a few other helpers) have typed in. To use them with BibTeX, you'll need to download journal-abbrevs.bib.

The citations, in BibTeX format, are grouped by subject (roughly).

• Type theory, abstract data types, subtyping, types in programming languages. [download]
• 1970s and older references on datatypes, type theory, etc. [download]
• Distributed and parallel processing, except language definitions [download]
• Programming language issues, semantics, implementation, except types and distributed/parallel stuff. All language definitions are here. [download]
• Software engineering, specification, verification [download]
• Math, general stuff that doesn't go elsewhere [download]

BibTeX Citatitons for my papers

• BibTeX entries for my papers. [download]