<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Bibliography on programming languages</title>
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
<link rev="made" href="mailto:liinwwwa@ira.uka.de" />
<link rel="copyright" href="../Copyright.html" />
<link rel="up" href="index.html" />
<link rel="home" href="../index.html" />
<link rel="top" href="../index.html" />
<meta name="description" content="Bibliography on programming languages. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Bibliography on programming languages. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
, programming languages, type systems, subtyping, concurrency, lambda-calculus, object-oriented programming, category theory" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
, programming languages, type systems, subtyping, concurrency, lambda-calculus, object-oriented programming, category theory" />
<meta name="robots" content="noarchive,nofollow" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<meta name="copyright" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.COPYRIGHT" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
</head>
<body>
<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html" title="Home page of The Collection of Computer Science Bibliographies">Collection Home</a></li>
<li><a href="index.html">Up: Bibliographies on Programming Languages, Type Theory and Compiler Technology</a></li>
</ul>
<h1 class="subcollectiontitle">Bibliography on programming languages</h1>
<p style="text-align:center; font-size:small">[ &nbsp; <a href="#about">About</a> &nbsp; | &nbsp;<a href="#browse">Browse</a> &nbsp; | &nbsp; <a href="#stats">Statistics</a> &nbsp; ]</p><table width="100%" cellpadding="0"><colgroup span="4" width="1*" /><tr><th align="right">Number of references:</th><td align="left">1832</td><th align="right">Last update:</th><td align="left">December 16, 2008</td></tr><tr><th align="right">Number of online publications:</th><td align="left">169</td><th align="right">Supported:</th><td align="left">yes</td>
</tr><tr><th align="right">Most recent reference:</th><td align="left">2009</td>
<th> </th><td> </td></tr></table>

<!-- short form -->
<!-- short search form -->
<h2 class="h2bar"><a id="about">Information on the Bibliography</a></h2>
<dl>
<dt><strong>Author:</strong></dt>
<dd><a href="http://www.cis.upenn.edu/~bcpierce/">Benjamin C. Pierce</a> &lt;bcpierce @ cis . upenn . edu&gt; <i>(email mangled to prevent spamming)</i><br />
<a href="http://www.cis.upenn.edu">Department of Computer and Information Science</a><br /> University of Pennsylvania<br /> USA
</dd><dt><strong>Abstract:</strong></dt><dd>
My personal bib database contains relatively complete sets of citations for several areas: <ul><li> static type systems for object-oriented programming languages </li><li> subtyping and polymorphism </li><li> extensible record typing </li><li> category theory in computer science (up to 1990) </li><li> concurrent languages based on process calculi </li><li> pi-calculus</li></ul></dd>
<dt><strong>Keywords:</strong></dt><dd>
programming languages, type systems, subtyping, concurrency, lambda-calculus, object-oriented programming, category theory</dd>
<dt><strong>Author Comments:</strong></dt><dd>
Some special BibTeX fields: <dl><dt>checked</dt><dd> Set to &quot;yes&quot; or a date if the citation has been checked against a physical copy of the document </dd><dt>fullauthor</dt><dd> 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. </dd><dt>fulleditor</dt><dd> Similar</dd></dl></dd>

</dl>
<h2 class="h2bar"><a id="browse">Browsing the bibliography</a></h2>
<ul><li><dl>
<dt><strong>Original source:</strong></dt>
<dd><a href="http://www.cis.upenn.edu/~bcpierce/papers/bcp.bib">http://www.cis.upenn.edu</a>...
(Format: bibtex) 
</dd></dl></li></ul>
<h2 class="h2bar"><a id="stats">Bibliographic Statistics</a></h2>
<dl>
<dt><strong>Types:</strong></dt>
<dd>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)</dd><dt><strong>Fields:</strong></dt>
<dd>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)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="bcp.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="bcp.years.stats.png" alt="Distribution of publication dates" title="Distribution of publication dates" />
</object></dd>
</dl>
<p class="footer">
<a href="http://liinwww.ira.uka.de/bibliography/Copyright.html">Copyright</a> &copy; 1995-2008 Alf-Christian Achilles, All rights reserved.
<br />
This service is brought to you by
<a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> 
and <a href="http://3miasto.net.pl/~ortylp">Paul Ortyl</a>
<br />
Please direct <a href="http://liinwww.ira.uka.de/bibliography/Comments.html" title="Send your comments via form.">comments</a> 
to <kbd><a href="mailto:liinwwwa@ira.uka.de" title="Send your comments via email.">liinwwwa@ira.uka.de</a></kbd>
</p>

<p>
<a href="http://validator.w3.org/check?uri=referer"><img src="/valid-xhtml11.png" alt="Valid XHTML 1.1!" /></a>&nbsp;
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="/vcss.png" alt="Valid CSS!" /></a>
</p>
</body>
</html>
