Index of Bibliographies
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]
Last update $Date: 2006/07/26 17:06:55 $
Gary T. Leavens