Bibliography on programming languages

[   About   |  Browse   |   Statistics   ]

Number of references:	1359	Last update:	May 18, 2004
Number of online publications:	123	Supported:	yes
Most recent reference:	January 2004

Search the bibliography

Information on the Bibliography

Author:

Benjamin C. Pierce <bcpierce @ cis . upenn . edu> (email mangled to prevent spamming)
Department of Computer and Information Science
University of Pennsylvania
USA

Abstract:

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.

fulleditor

Similar

Browsing the bibliography

• Original source:

  http://www.cis.upenn.edu... (Format: bibtex)

Bibliographic Statistics

Types:

inproceedings(530), article(230), book(162), techreport(131), misc(92), incollection(76), unpublished(55), phdthesis(48), proceedings(25), manual(4), mastersthesis(4), inbook(2)

Fields:

title(1355), year(1334), author(1301), booktitle(632), pages(608), month(583), publisher(478), checked(348), note(341), number(330), volume(315), editor(232), journal(231), address(205), source(205), series(200), institution(133), bcp(122), key(59), school(52), type(49), keywords(46), fullurl(36), abstract(34), howpublished(34), fullauthor(32), fullisbn(32), organization(28), url(27), bibdate(24), annote(19), complete(16), fullissn(16), comment(15), coden(13), edition(12), dates(10), fulleditor(10), place(10), acknowledgement(9), day(9), fullpublisher(9), fullurlps(9), comments(8), fullurldvi(8), references(8), classification(7), callnumber(6), entered(6), isbn(6), chapter(5), corpsource(5), realauthor(5), text(5), treatment(5), ascii(4), callno(4), department(4), optaddress(4), affiliation(3), editors(3), journalabr(3), lccn(3), mrclass(3), mrnumber(3), optmonth(3), page(3), ps(3), refs(3), semno(3), summary(3), affiliationaddress(2), crossrefonly(2), filename(2), fulladdress(2), fullplace(2), id(2), issn(2), location(2), origpages(2), pubcountry(2), puf(2), updated(2), abstract-url(1), added-at(1), area(1), bcpnote(1), booksubtitle(1), check(1), checkedbyjcr(1), checkedc(1), checkednote(1), classcodes(1), confaddress(1), conflocation(1), conftitle(1), copyright(1), descriptor(1), documenturl(1), doi(1), europeinfo(1), fullnote(1), fullorganization(1), hidseries(1), oldnote(1), optannnote(1), optbibsource(1), optcrossref(1), optnote(1), optorganization(1), optpages(1), optyear(1), orderinginfo(1), origauthor(1), origeditor(1), originalchecked(1), originalnote(1), orignote(1), orignumber(1), pagesargh(1), pdf(1), pp(1), project(1), question(1), realeditor(1), reffrom(1), refkey(1), reprint(1), retrieval(1), review(1), scope(1), short(1), sjb(1), sli_ppt(1), subject(1), subtitle(1), thesaurus(1), topic(1), where(1), xxx-references(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.