The Collection of
Computer Science Bibliographies

Bibliography on programming languages

[   About   |  Browse   |   Statistics   ]

Number of references:2010Last update:January 4, 2017
Number of online publications:241Supported:yes
Most recent reference:January 2017

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Benjamin C. Pierce <bcpierce @ cis . upenn . edu> (email mangled to prevent spamming)
Department of Computer and Information Science
University of Pennsylvania
My personal bib database contains relatively complete sets of citations for several areas:
programming languages, type systems, subtyping, concurrency, lambda-calculus, object-oriented programming, category theory
Author Comments:
Some special BibTeX fields:
Set to "yes" or a date if the citation has been checked against a physical copy of the document
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.

Browsing the bibliography

Bibliographic Statistics

inproceedings(799), article(380), book(182), misc(177), techreport(169), incollection(95), phdthesis(77), unpublished(61), proceedings(46), conference(9), manual(6), mastersthesis(6), inbook(2), msthesis(1)
title(2006), year(1986), author(1924), pages(965), booktitle(952), month(929), publisher(628), volume(537), number(483), note(461), journal(382), checked(357), series(296), editor(291), address(238), plclub(234), bcp(217), source(208), institution(171), keys(154), url(96), school(83), type(72), key(69), fullurl(67), slides(58), keywords(50), abstract(46), howpublished(42), isbn(40), organization(40), fullisbn(37), bibdate(33), fullauthor(33), short(33), tr(30), fulleditor(29), ee(27), annote(22), conf(22), doi(21), doi-url(21), fullissn(21), biburl(20), coden(19), full(19), timestamp(19), fullpublisher(18), ps(18), optaddress(17), comment(16), complete(15), acknowledgement(14), location(14), pdf(14), edition(13), opteditor(13), place(12), dates(11), comments(10), day(9), fullurlps(9), fullurldvi(8), optmonth(8), optnote(8), references(8), chapter(7), classification(7), department(7), callnumber(6), manuscript(6), reffrom(6), updated(6), badcrossref(5), corpsource(5), entered(5), issn(5), realauthor(5), text(5), treatment(5), video(5), ascii(4), backcitesprocessed(4), callno(4), fulladdress(4), fullmonth(4), lccn(4), refsprocessed(4), reprint(4), shortbooktitle(4), subject(4), summary(4), acceptance(3), affiliation(3), filename(3), fullappendix(3), fullnote(3), homepage(3), journalabr(3), mon(3), mrclass(3), mrnumber(3), mrnumber-url(3), nonpedanticauthor(3), numpages(3), page(3), refs(3), semno(3), subtitle(3), abstract-url(2), added-at(2), affiliationaddress(2), bcpnote(2), booksubtitle(2), checkedc(2), crossrefonly(2), editors(2), errata(2), fullchapter(2), fullplace(2), id(2), issue(2), oai(2), official(2), opturl(2), origpages(2), pedantictitle(2), pubcountry(2), puf(2), sources(2), urn(2), acmid(1), added-by(1), alturl(1), area(1), book(1), categories(1), check(1), checkedbyjcr(1), checkednote(1), classcodes(1), confaddress(1), conflocation(1), conftitle(1), copyright(1), coq(1), description(1), descriptor(1), dimensions(1), document-size(1), documenturl(1), ebook(1), editor_(1), email(1), entrydate(1), europeinfo(1), format(1), ftpfrom(1), fulllocation(1), fullorganization(1), fullseries(1), genterms(1), hidseries(1), html(1), identifier(1), instutition(1), japanese(1), language(1), lccnalt(1), long(1), masid(1), myurl(1), oldabstract(1), oldauthor(1), oldbooktitle(1), olddoi(1), oldissn(1), oldnote(1), optannnote(1), optauthor(1), optbibsource(1), optcrossref(1), opteditors(1), optisbn(1), optorganization(1), optpages(1), optpublisher(1), optyear(1), orderinginfo(1), origauthor(1), origeditor(1), originalchecked(1), originalnote(1), orignote(1), orignumber(1), pagesargh(1), postscript(1), pp(1), price(1), project(1), psgz(1), question(1), realeditor(1), refkey(1), relation(1), retrieval(1), review(1), scope(1), sjb(1), sli_ppt(1), source-date(1), thesaurus(1), topic(1), transcript(1), where(1), xnote(1), xxx-references(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!