The Collection of Computer Science Bibliographies
Bibliography on programming languages
[ About | Browse | Statistics ]
Number of references: 1832 Last update: December 16, 2008 Number of online publications: 169 Supported: yes
Most recent reference: 2009
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
Types:
inproceedings(714), article(359), book(181),
techreport(166), misc(135), incollection(95),
phdthesis(75), unpublished(59), proceedings(30),
manual(6), mastersthesis(6), conference(4), inbook(2) Fields:
title(1828), year(1808), author(1764), pages(905),
month(861), booktitle(845), publisher(577),
volume(500), number(467), note(417), journal(361),
checked(357), series(269), editor(256), address(233),
source(208), institution(168), bcp(157), plclub(155),
keys(97), school(81), type(71), key(66), fullurl(65),
keywords(50), abstract(46), url(39), fullisbn(37),
organization(35), howpublished(34), bibdate(33),
fullauthor(33), fulleditor(29), slides(28), tr(27),
annote(22), conf(21), fullissn(21), coden(19),
short(19), fullpublisher(18), ps(18), optaddress(17),
comment(16), full(16), complete(15),
acknowledgement(14), edition(13), opteditor(13),
isbn(12), place(12), dates(11), pdf(11), comments(10),
day(9), fullurlps(9), fullurldvi(8), optmonth(8),
optnote(8), references(8), chapter(7),
classification(7), department(7), callnumber(6),
doi(6), doi-url(6), reffrom(6), updated(6),
corpsource(5), ee(5), entered(5), issn(5),
realauthor(5), text(5), treatment(5), ascii(4),
backcitesprocessed(4), callno(4), fulladdress(4),
fullmonth(4), lccn(4), location(4), refsprocessed(4),
reprint(4), subject(4), summary(4), affiliation(3),
filename(3), fullappendix(3), fullnote(3), homepage(3),
journalabr(3), mon(3), mrclass(3), mrnumber(3),
mrnumber-url(3), nonpedanticauthor(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), manuscript(2), oai(2), official(2), opturl(2),
origpages(2), pedantictitle(2), pubcountry(2), puf(2),
sources(2), added-by(1), alturl(1), area(1), biburl(1),
categories(1), check(1), checkedbyjcr(1),
checkednote(1), classcodes(1), confaddress(1),
conflocation(1), conftitle(1), copyright(1),
description(1), descriptor(1), dimensions(1),
document-size(1), documenturl(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),
issue(1), journam(1), language(1), lccnalt(1),
myurl(1), oldabstract(1), oldauthor(1),
oldbooktitle(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), where(1),
xnote(1), xxx-references(1) Distribution of publication dates: