<?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>Bibliographies on Programming Languages, Type Theory and Compiler Technology</title>
<meta name="description" content="Bibliographies on Programming Languages, Type Theory and Compiler Technology, part of the Collection of Computer Science Bibliographies" />
<meta name="DC.DESCRIPTION" content="Bibliographies on Programming Languages, Type Theory and Compiler Technology, part of the Collection of Computer Science Bibliographies" />
<meta name="keywords" content="bibliographies, computer science, bibtex, RSS" />
<meta name="DC.SUBJECT" content="bibliographies, computer science, bibtex, RSS" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<link rel="copyright" href="../Copyright.html" />
<link rel="top" href="../index.html" />
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
</head>
<body>

<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html">Collection Home</a></li>
<li><a href="../index.html">Up: Mirror of the Collection of Computer Science Bibliographies</a></li>
</ul>
<h1 class="subcollectiontitle">Bibliographies on Programming Languages, Type Theory and Compiler Technology</h1><p>You can <a href="http://liinwww.ira.uka.de/bibliography/Contributing.html">add bibliographies and references</a> to this collection!
See also the bibliographies on <a href="../SE/index.html">Software/Hardware Engineering and Formal Methods</a>.</p><hr />
<!-- long search form -->
<script type="text/javascript">
<!-- hide script from older browsers
if (document.forms.length == 0) {
    document.writeln("<h2><a href=\"http://liinwww.ira.uka.de/bibliography/Compiler/index.html\">Search these bibliographies<\/a><\/h2><p>at the <a href=\"http://liinwww.ira.uka.de/bibliography/index.html\">original site for the bibliography collection<\/a>!<\/p>");
}
//-->
</script>
<!-- subindices start -->
<table class="subcollectionindex">
<thead><tr><th>#Refs</th><th>Bibliography</th><th>Date</th></tr></thead>
<tbody>
<tr><td class="refcount">7563</td>
<td class="subcoll"><a href="sigplan.html">Bibliography for the SIGPLAN Notices</a></td>
<td>(2006)</td>
</tr>
<tr><td class="refcount">6816</td>
<td class="subcoll"><a href="fortran.html">Bibliography on the Fortran programming language</a></td>
<td>(2007)</td>
</tr>
<tr><td class="refcount">5918</td>
<td class="subcoll"><a href="arch.compiler.conf.html">Bibliographies of various confererences in the area of computer architecture, compilers and related fields</a></td>
<td>(2002)</td>
</tr>
<tr><td class="refcount">5755</td>
<td class="subcoll"><a href="java.html">Bibliography on the JAVA programming language</a></td>
<td>(2007)</td>
</tr>
<tr><td class="refcount">5073</td>
<td class="subcoll"><a href="bevan.html">Bibliography on Programming Languages and Compiler Construction</a></td>
<td>(1996)</td>
</tr>
<tr><td class="refcount">2880</td>
<td class="subcoll"><a href="Functional.html">Warwick bibliography related to functional languages</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">2517</td>
<td class="subcoll"><a href="gc.html">The Garbage Collection Bibliography</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">2491</td>
<td class="subcoll"><a href="cccuj.html">Bibliography of the C/C++ Users Journal</a></td>
<td>(2005)</td>
</tr>
<tr><td class="refcount">1832</td>
<td class="subcoll"><a href="bcp.html">Bibliography on programming languages</a></td>
<td>(2009)</td>
</tr>
<tr><td class="refcount">1806</td>
<td class="subcoll"><a href="Compiler.Lins.html">Bibliography on Compilers</a></td>
<td>(1992)</td>
</tr>
<tr><td class="refcount">1644</td>
<td class="subcoll"><a href="lisp.html">Bibliography on Lisp from 1960-1992</a></td>
<td>(1992)</td>
</tr>
<tr><td class="refcount">1579</td>
<td class="subcoll"><a href="sigada.html">Bibliography for the ACM SIGAda Ada Letters</a></td>
<td>(2007)</td>
</tr>
<tr><td class="refcount">1304</td>
<td class="subcoll"><a href="opt.par.compiler.html">A bibliography on optimizing and parallelizing compilers</a></td>
<td>(1999)</td>
</tr>
<tr><td class="refcount">1244</td>
<td class="subcoll"><a href="forth.html">Forth Bibliography</a></td>
<td>(2005)</td>
</tr>
<tr><td class="refcount">1140</td>
<td class="subcoll"><a href="AG.html">Bibliography on Attribute Grammars</a></td>
<td>(1999)</td>
</tr>
<tr><td class="refcount">921</td>
<td class="subcoll"><a href="toplas.html">Bibliography for the ACM Transactions on Programming Languages and Systems (TOPLAS)</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">891</td>
<td class="subcoll"><a href="anton.ertl.html">Bibliography on Programming Languages, Compilers, and Computer Architecture</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">856</td>
<td class="subcoll"><a href="javaworld.html">Bibliography of publications in the electronic magazine JavaWorld</a></td>
<td>(1999)</td>
</tr>
<tr><td class="refcount">841</td>
<td class="subcoll"><a href="semantics.html">Bibliography on Semantics</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">748</td>
<td class="subcoll"><a href="Heaps.html">Bibliography of garbage collection and (to lesser degrees) memory hierarchies and other aspects of heap management (like persistence)</a></td>
<td>(1995)</td>
</tr>
<tr><td class="refcount">736</td>
<td class="subcoll"><a href="prog.lang.theory.html">Bibliography on the theory of programming languages</a></td>
<td>(1995)</td>
</tr>
<tr><td class="refcount">677</td>
<td class="subcoll"><a href="garbage.collection.html">A Bibliography on Garbage Collection</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">646</td>
<td class="subcoll"><a href="partial-eval.html">Bibliography on partial evaluation and mixed computation</a></td>
<td>(1998)</td>
</tr>
<tr><td class="refcount">592</td>
<td class="subcoll"><a href="TOPPS.html">Bibliography on Semantics Based Program Analysis and Manipulation (from Semantics (TOPPS) group of DIKU)</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">553</td>
<td class="subcoll"><a href="common-lisp.html">Bibliography on the Common LISP language</a></td>
<td>(2005)</td>
</tr>
<tr><td class="refcount">549</td>
<td class="subcoll"><a href="scicomputprogram.html">Bibliography of publications in the journal Science of Computer Programming</a></td>
<td>(2003)</td>
</tr>
<tr><td class="refcount">470</td>
<td class="subcoll"><a href="Collberg.html">Bibliography on compiler-related issues</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">469</td>
<td class="subcoll"><a href="ada.html">Bibliography on the programming language Ada</a></td>
<td>(1990)</td>
</tr>
<tr><td class="refcount">450</td>
<td class="subcoll"><a href="complngs.html">Bibliography of the journal Computer Languages</a></td>
<td>(2006)</td>
</tr>
<tr><td class="refcount">449</td>
<td class="subcoll"><a href="reynolds.html">Bibliography containing references to (categorical) logic in computer science and type theory</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">368</td>
<td class="subcoll"><a href="Inst.Computersprachen.TUWien.html">Papers and talks produced by the Institut f&uuml;r Computersprachen, TU Wien</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">360</td>
<td class="subcoll"><a href="math.prog.construction.html">Bibliography on the mathematics of program construction</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">357</td>
<td class="subcoll"><a href="absint.html">Abstract Interpretation Bibliography</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">354</td>
<td class="subcoll"><a href="isostd.html">Bibliography of International Organization for Standardization (ISO) standards for computer programming languages</a></td>
<td>(2007)</td>
</tr>
<tr><td class="refcount">341</td>
<td class="subcoll"><a href="complang.html">Bibliography of the Computer Language magazine</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">304</td>
<td class="subcoll"><a href="Contrib.html">Bibliography on programming languages and compilers technology</a></td>
<td>(2008)</td>
</tr>
<tr><td class="refcount">275</td>
<td class="subcoll"><a href="CHR.html">Constraint Handling Rules Bibliography</a></td>
<td>(2009)</td>
</tr>
<tr><td class="refcount">253</td>
<td class="subcoll"><a href="javarep.html">Bibliography of the magazine &quot;Java Report&quot;</a></td>
<td>(1998)</td>
</tr>
<tr><td class="refcount">237</td>
<td class="subcoll"><a href="adauserj.html">Bibliography of the Ada User Journal</a></td>
<td>(1998)</td>
</tr>
<tr><td class="refcount">234</td>
<td class="subcoll"><a href="cppreport.html">Bibliography for the magazine C++ Report</a></td>
<td>(1997)</td>
</tr>
<tr><td class="refcount">199</td>
<td class="subcoll"><a href="jclt.html">Bibliography for the Journal of C Language Translation</a></td>
<td>(1995)</td>
</tr>
<tr><td class="refcount">181</td>
<td class="subcoll"><a href="ansistd.html">Bibliography of American National Standards Institute (ANSI) standards for computer programming languages</a></td>
<td>(2000)</td>
</tr>
<tr><td class="refcount">176</td>
<td class="subcoll"><a href="ml.html">Bibliography on Applicative Programming and Specification (with emphasis on ML)</a></td>
<td>(1994)</td>
</tr>
<tr><td class="refcount">169</td>
<td class="subcoll"><a href="compiler.html">Bibliography on compilers</a></td>
<td>(1990)</td>
</tr>
<tr><td class="refcount">157</td>
<td class="subcoll"><a href="python.html">Bibliography of publications about Python, an object-oriented scripting and programming language</a></td>
<td>(2006)</td>
</tr>
<tr><td class="refcount">157</td>
<td class="subcoll"><a href="persistence.St.Andrews.html">Bibliography of Persistence Papers at St Andrews University</a></td>
<td>(1999)</td>
</tr>
<tr><td class="refcount">140</td>
<td class="subcoll"><a href="ICSLA.html">The bibliography of the ICSLA project</a></td>
<td>(1997)</td>
</tr>
<tr><td class="refcount">131</td>
<td class="subcoll"><a href="state.functional.programming.html">State in Functional Programming: An Annotated Bibliography</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">117</td>
<td class="subcoll"><a href="code.compaction.html">Bibliography on Code Compaction</a></td>
<td>(2002)</td>
</tr>
<tr><td class="refcount">113</td>
<td class="subcoll"><a href="opt.compiler.html">Bibliography on optimizing compilers</a></td>
<td>(1988)</td>
</tr>
<tr><td class="refcount">113</td>
<td class="subcoll"><a href="Oberon.html">Bibliography on the programming language and operating system Oberon</a></td>
<td>(1998)</td>
</tr>
<tr><td class="refcount">113</td>
<td class="subcoll"><a href="uni-paderborn.agkastens.html">Bibliography of the Publications of the Programming Languages and Compilers Group at University of Paderborn, Germany</a></td>
<td>(2003)</td>
</tr>
<tr><td class="refcount">93</td>
<td class="subcoll"><a href="action.semantics.html">Bibliography on Action Semantics</a></td>
<td>(1997)</td>
</tr>
<tr><td class="refcount">85</td>
<td class="subcoll"><a href="ssa.html">static single assignment form</a></td>
<td>(2007)</td>
</tr>
<tr><td class="refcount">53</td>
<td class="subcoll"><a href="icon.html">Bibliography on the Icon programming language</a></td>
<td>(2004)</td>
</tr>
<tr><td class="refcount">42</td>
<td class="subcoll"><a href="loplas.html">Bibliography of ACM Letters on Programming Languages and Systems (LOPLAS)</a></td>
<td>(1993)</td>
</tr>
<tr><td class="refcount">39</td>
<td class="subcoll"><a href="jfla.html">Journ&eacute;es Francophones des Langages Applicatifs</a></td>
<td>(2001)</td>
</tr>
<tr><td class="refcount">36</td>
<td class="subcoll"><a href="lcc.html">Bibliography on publications about, or based on, the AT&amp;T/Princeton lcc C compiler</a></td>
<td>(2004)</td>
</tr>
<tr><td class="refcount">22</td>
<td class="subcoll"><a href="mlw92.html">Proceedings of the 1992 ACM Workshop on ML and its Applications</a></td>
<td>(1992)</td>
</tr>
<tr><td class="refcount">17</td>
<td class="subcoll"><a href="pepm92.html">Proceedings of the 1992 ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM)</a></td>
<td>(1992)</td>
</tr>
<tr><td class="refcount">14</td>
<td class="subcoll"><a href="iwcg91.html">``Code Generation &mdash; Concepts, Tools, Techniques'', Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991</a></td>
<td>(1991)</td>
</tr>
<tr><td class="refcount">10</td>
<td class="subcoll"><a href="c.plus.plus.template.html">Bibliography of the proceedings of the First Workshop on C++ Template Programming</a></td>
<td>(2000)</td>
</tr>
</tbody>
<tbody>
<tr class="total"><td><strong>64670</strong></td><td>Total number of references in this section</td><td></td></tr>
</tbody>
</table>
<!-- subindices end -->
<ul><li><a href="others.html">Other Bibliographies on Programming Languages, Type Theory and Compiler Technology</a></li></ul>
<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>

</body>
</html>
