<?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 Applicative Programming and Specification (with emphasis on ML)</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 Applicative Programming and Specification (with emphasis on ML). This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Bibliography on Applicative Programming and Specification (with emphasis on ML). This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
" />
<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 Applicative Programming and Specification (with emphasis on ML)</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">176</td><th align="right">Last update:</th><td align="left">February 23, 1995</td></tr><tr><th align="right">Number of online publications:</th><td align="left">2</td><th align="right">Supported:</th><td align="left">no</td>
</tr><tr><th align="right">Most recent reference:</th><td align="left">December 1994</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>Stephen Gilmore &lt;stg @ dcs . ed . ac . uk&gt; <i>(email mangled to prevent spamming)</i><br />
Laboratory for Foundations of Computer Science, <br /> Department of Computer Science, <br /> The King's Buildings, <br /> University of Edinburgh, <br /> Edinburgh EH9 3JZ, UK.
</dd><dt><strong>Abstract:</strong></dt><dd>
This file contains a selection of references which are cited in <a href="ftp://colonsay.dcs.ed.ac.uk/home/ftp/pub/stg/aps.ps">``Applicative Programming and Specification''</a>, a set of lecture notes on Standard ML and Extended ML.</dd>
<dt><strong>Author Comments:</strong></dt><dd>
It is my hope that the entries are correct but I would be glad to hear of corrections.</dd>

</dl>
<h2 class="h2bar"><a id="browse">Browsing the bibliography</a></h2>
<ul><li><dl>
<dt><strong>Original source:</strong></dt>
<dd>Used to be available at<br />
ftp://colonsay.dcs.ed.ac.uk/pub/stg/ml.bib
<br />but has disappeared.
</dd></dl></li><li><a href="ml.bib.gz">Local copy</a> in BibTeX format (13 KB, compressed with <a href="http://wombat.doc.ic.ac.uk/?gzip">gzip</a>)
</li></ul>
<h2 class="h2bar"><a id="stats">Bibliographic Statistics</a></h2>
<dl>
<dt><strong>Types:</strong></dt>
<dd>inproceedings(50), article(46), book(35),
techreport(30), unpublished(6), incollection(4),
 phdthesis(3), manual(2)</dd><dt><strong>Fields:</strong></dt>
<dd>title(176), year(176), author(174), pages(83),
month(69), publisher(63), number(62), booktitle(55),
 volume(48), journal(46), institution(30), address(23),
 series(20), note(18), editor(12), annote(8), key(6),
 edition(4), school(3), organization(2), abstract(1),
 dartno(1), editors(1), keywords(1), optnote(1),
 semno(1), summary(1), type(1)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="ml.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="ml.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>
