The Collection of
Computer Science Bibliographies

Gary T. Leavens' personal bibliography

Number of references:	4862	Last update:	December 14, 2008
Number of online publications:	1002	Supported:	yes
Most recent reference:	October 2008

Author:: Gary T. Leavens <leavens @ cs . iastate . edu> (email mangled to prevent spamming)
Department of Computer Science
Iowa State University
Abstract:: Type theory, abstract data types, subtyping, types in programming languages; 1970s and older references on datatypes, type theory, etc.; Distributed and parallel processing, except language definitions; Programming language issues, semantics, implementation, except types and distributed/parallel stuff. All language definitions are here.; Software engineering, specification, verification; Math, general stuff that doesn't go elsewhere.

Original source:

http://www.cs.iastate.edu... (Format: bibtex, compressed)
Other sites:

http://www.cs.iastate.edu... (Format: html)

Types:: article(1596), inproceedings(1050), book(803), techreport(601), incollection(525), unpublished(103), phdthesis(61), proceedings(46), misc(40), manual(21), inbook(8), mastersthesis(8)
Fields:: title(4862), year(4847), author(4747), annote(3075), pages(2913), month(2847), volume(2232), number(2131), publisher(1866), address(1780), booktitle(1628), journal(1619), series(905), editor(875), note(727), institution(609), url(528), organization(444), isbn(110), location(91), type(89), doi(76), doi-url(76), edition(71), school(68), chapter(53), howpublished(35), keywords(30), key(19), page(15), issn(11), abstract(10), annotate(9), institute(7), local-url(7), lccn(6), urldvi(3), annotation(2), longbooktitle(2), place(2), addr(1), bibdate(1), conference(1), nubmer(1), oldnote(1), other(1), urlps(1), where(1)
Distribution of publication dates: