Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /pages/trunk/doc/literature.html
ViewVC logotype

View of /pages/trunk/doc/literature.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3526 - (download) (as text) (annotate)
Tue Mar 30 18:33:40 2010 UTC (9 years, 4 months ago) by dbm
File size: 11859 byte(s)
eliminated stale links in doc/literature.html
<!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->

<HTML>
  <TITLE>SML/NJ Literature</TITLE>
<BODY BGCOLOR="ffffff">
 

<H1> SML/NJ Literature </H1>
<HR>
<H3>Summary</H3>
<P>
<UL>
  <LI><A HREF="#tutorials">Tutorials</A>
  <LI><A HREF="#books">Books</A>
  <LI><A HREF="#documentation">Documentation</A>
  <LI><A HREF="#other">Other Resources</A>
</UL>

<!------------------------------------------------------------------------>
<HR>
<H3><A NAME="tutorials">Tutorials</A></H3>

<H4> Introduction to Standard ML </H4> 
   <BLOCKQUOTE>
   <I> Author: </I> Robert Harper, CMU
   </BLOCKQUOTE>

<UL>
<LI> <A HREF="http://www.cs.cmu.edu/~rwh/smlbook/">Programming in
		Standard ML </A></LI>
</UL>

<H4> <a href="http://www.cs.cornell.edu/riccardo/smlnj.html">
Notes on Programming in SML/NJ</a></H4> 
   <BLOCKQUOTE>
   <I> Author: </I> Riccardo Pucella, Cornell
   </BLOCKQUOTE>
<UL>
<LI> <A HREF="http://www.cs.cornell.edu/riccardo/prog-smlnj/notes-011001.ps">Postscript (930KB)</A>
<LI> <A HREF="http://www.cs.cornell.edu/riccardo/prog-smlnj/notes-011001.pdf">PDF (640KB)</A>
</UL>

<H4> Using the SML/NJ System </H4>
<BLOCKQUOTE>
   <I> Author: </I> Peter Lee, CMU
</BLOCKQUOTE>
<UL>
<LI> <A HREF="http://www.cs.cmu.edu/~petel/smlguide/smlnj.htm">HTML</A>
</UL>

<H4> Four Lectures on Standard ML </H4>    
   <BLOCKQUOTE>
   <I> Author: </I> Mads Tofte, DIKU
   </BLOCKQUOTE>

<UL>
<LI> <A HREF="http://foxnet.cs.cmu.edu/doc/FourLectures.1.ps"> Overview</A>
<LI> <A HREF="http://foxnet.cs.cmu.edu/doc/FourLectures.2.ps"> Lectures 1-3</A>
<LI> <A HREF="http://foxnet.cs.cmu.edu/doc/FourLectures.3.ps"> Lecture 4</A>
<LI> <A HREF="ftp://ftp.diku.dk/pub/diku/users/tofte/FourLectures/sml">
 Code examples in lectures</A>
</UL>

<H4> Essentials of Standard ML Modules </H4>    
   <BLOCKQUOTE>
   <I> Author: </I> Mads Tofte, DIKU
   </BLOCKQUOTE>

<UL>
<LI> <A HREF="http://www.diku.dk/users/tofte/publ/oregon/oregonPS.ps">
  Lecture Notes (Postscript)</A>
<LI> <A HREF="http://www.diku.dk/users/tofte/publ/oregon/oregonSML.tar.Z.uu">
  The SML code (uuencoded compressed tar)</A>
</UL>

<H4> Tips for Computer Scientists On Standard ML </H4>    
   <BLOCKQUOTE>
   <I> Author: </I> Mads Tofte, DIKU
   </BLOCKQUOTE>

<UL>
<LI> <A HREF="http://www.diku.dk/users/tofte/publ/tips.ps">
  Postscript (165KB)</A>
</UL>

<H4> <A HREF="http://www.dcs.ed.ac.uk/home/stg/NOTES/">
Programming in Standard ML '97: An On-line Tutorial</A></H4> 
   <blockquote>
   <I> Author: </I> <A HREF="http://www.dcs.ed.ac.uk/home/stg">Stephen Gilmore</A>, Edinburgh University
   </blockquote>

<UL>
<LI> <A HREF="http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/97/ECS-LFCS-97-364/index.html">
Edinburgh LFCS Tech Report (ECS-LFCS-97-364), various formats</A>
</UL>

<H4> A Gentle Introduction to ML </H4> 
   <BLOCKQUOTE>
   <I> Author: </I> Andrew Cumming, Napier University
   </BLOCKQUOTE>

<UL>
<LI> <A HREF="http://www.dcs.napier.ac.uk/course-notes/sml/manual.html">
 Contents (html) </A>
<LI> <A HREF="http://fas.sfu.ca/cs/LocalDoc/Software/ML/giml/manual.html">
 Canadian mirror site </A>
</UL>

<H4> Introduction to Functional Programming </H4> 
   <BLOCKQUOTE>
   <I> Author: </I> Michael Gordon, Cambridge University
   </BLOCKQUOTE>

<UL>
<LI> <A
HREF="http://www.cl.cam.ac.uk/users/mjcg/Teaching/FuncProg/Notes/Notes.ps.gz">
Postscript (240KB)</A>
</UL>

<!------------------------------------------------------------------------>
		
<HR>
<H3><A NAME="books">Books</A></H3>
Several textbooks on SML programming are available. We recommend the
first two in this list.
<A HREF="#paulson-book"><I>ML for the Working Programmer</I></A>
assumes a little more programming experience than
<A HREF="#ullman-book"><I>Elements of ML Programming</I></A>,
however either one ought to be adequate for learning the language.
Both of these books are in their second editions, now covering
the SML '97 version of the language and Basis.

<H4><A NAME="paulson-book">
<A HREF="http://www.cl.cam.ac.uk/users/lcp/MLbook/">
ML for the Working Programmer (2nd edition)</A></H4>
<TABLE>
<TR><TD><I>Author:</I><TD><A HREF="http://www.cl.cam.ac.uk/users/lcp/"> Larry C. Paulson</a></TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.cup.org/"> Cambridge University Press</A></TR>
<TR><TD><I>Year:</I>  <TD>1996</TR>
<TR><TD><I>ISBN (hardback):</I>  <TD>0-521-57050-6</TR>
<TR><TD><I>ISBN (paperback):</I> <TD>0-521-56543-X</TR>
</TABLE>

<H4><A NAME="ullman-book" href="http://www-db.stanford.edu/~ullman/emlp.html">
  Elements of ML Programming, ML97 Edition
</A></H4>
<TABLE>
<TR><TD><I>Author:</I><TD> <A href="http://www-db.stanford.edu/~ullman/">Jeffrey D. Ullman</a></TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.prenhall.com">Prentice-Hall</A></TR>
<TR><TD><I>Year:</I>  <TD>1998</TR>
<TR><TD><I>ISBN:</I>  <TD>0-13-790387-1</TR>
</TABLE>
<P>

<H4><A NAME="Hansen-Rischel" href="http://www.it.dtu.dk/introSML">
  Introduction to Programming using SML
</A></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>
<A HREF="http://www.it.dtu.dk/~mrh/">Michael R. Hansen</A>,
<A HREF="http://www.it.dtu.dk/~rischel/">Hans Rischel</A></TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.awl.com/">Addison-Wesley</A></TR>
<TR><TD><I>Year:</I>  <TD>1999</TR>
<TR><TD><I>ISBN:</I>  <TD>0-201-39820-6</TR>
</TABLE>
<P>

<H4><A NAME="CML" href="http://www.cup.org/Titles/48/0521480892.html">
  Concurrent Programming in ML
</A></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>
<A HREF="http://people.cs.uchicago.edu/~jhr/">John Reppy</A></TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.cup.org/"> Cambridge University Press</A></TR>
<TR><TD><I>Year:</I>  <TD>1999</TR>
<TR><TD><I>ISBN:</I>  <TD>0-521-48089-2</TR>
</TABLE>
<P>

<H4><A NAME="Okasaki" href="http://www.cup.org/Titles/63/0521631246.html">
  Purely Functional Data Structures
</A></H4>
<TABLE>
<TR><TD><I>Author:</I><TD>
<A HREF="http://www.cs.columbia.edu/~cdo/">Chris Okasaki</A></TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.cup.org/"> Cambridge University Press</A></TR>
<TR><TD><I>Year:</I>  <TD>1998</TR>
<TR><TD><I>ISBN:</I>  <TD>0-521-63124-6</TR>
</TABLE>
<P>

<H4><A NAME="Little-MLer" href="http://mitpress.mit.edu/book-home.tcl?isbn=026256114X">
The Little MLer</A></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>
<A HREF="http://www.cs.rice.edu/~matthias/">Matthias Felleisen</A> and
<A HREF="http://www.cs.indiana.edu/hyplan/dfried.html">Dan Freidman</A>
<TR><TD><I>Publisher:</I><TD><A HREF="http://mitpress.mit.edu">The MIT Press</A></TR>
<TR><TD><I>Year:</I> <TD>1998</TR>
<TR><TD><I>ISBN:</I> <TD>0-262-56114-X</TR>
</TABLE>
<P>

<H4> Programming with Standard ML </H4>
<TABLE>
<TR><TD><I>Authors:</I><TD> Chris Clack, Colin Myers, and Ellen Poon</TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.prenhall.com">Prentice-Hall</A></TR>
<TR><TD><I>Year:</I>  <TD>1993</TR>
<TR><TD><I>ISBN:</I>  <TD>0-13-722075-8</TR>
</TABLE>
<P>

<H4> Elementary Standard ML </H4>
<TABLE>
<TR><TD><I>Authors:</I><TD> Greg Michaelson</TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.bookshop.co.uk/UCL/DEFAULT.HTM">UCL Press</A></TR>
<TR><TD><I>Year:</I>  <TD>1995</TR>
<TR><TD><I>ISBN:</I>  <TD>1-85728-398-8</TR>
</TABLE>
<P>

<H4> A Practical Course in Functional Programming Using  Standard ML</H4>
<TABLE>
<TR><TD><I>Author:</I><TD> Richard Bosworth</TR>
<TR><TD><I>Publisher:</I> <TD>McGraw-Hill</TR>
<TR><TD><I>Year:</I>  <TD>1995</TR>
<TR><TD><I>ISBN:</I>  <TD>0-07-707625-7</TR>
</TABLE>
<P>

<H4> Abstract Data Types in Standard ML</H4>
<TABLE>
<TR><TD><I>Author:</I><TD> Rachel Harrison</TR>
<TR><TD><I>Publisher:</I> 
    <TD><A HREF="http://www.wiley.com">John Wiley & Sons</A></TR>
<TR><TD><I>Year:</I>  <TD>1993</TR>
<TR><TD><I>ISBN:</I>  <TD>0-471-938440</TR>
</TABLE>

<H4>ML Primer</H4>
<TABLE>
<TR><TD><I>Authors:</I><TD> Ryan Stansifer</TR>
<TR><TD><I>Publisher:</I> 
    <TD><A HREF="http://www.prenhall.com">Prentice-Hall</A></TR>
<TR><TD><I>Year:</I>  <TD>1992</TR>
<TR><TD><I>ISBN:</I>  <TD>0-13-561721-9</TR>
</TABLE>

<H4>Applicative High Order Programming: the Standard ML perspective</H4>
<TABLE>
<TR><TD><I>Authors:</I><TD> Stefan Sokolowski</TR>
<TR><TD><I>Publisher: </I>
    <TD>Chapman \& Hall Computing</TR>
<TR><TD><I>Year:</I>  <TD>1991</TR>
<TR><TD><I>ISBN:</I>  <TD>0-442-30838-8</TR>
</TABLE>


<H4>Elements of Functional Programming</H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>Chris Reade </TR>
<TR><TD><I>Publisher:</I> <TD>Addison-Wesley</TR>
<TR><TD><I>Year:</I>  <TD>1989</TR>
<TR><TD><I>ISBN:</I>  <TD>0-201-12915-9</TR>
</TABLE>

<H4><a href="http://www.cs.princeton.edu/~appel/modern/ml/">Modern Compiler Implementation in ML</a></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD><a href="http://www.cs.princeton.edu/~appel/">Andrew Appel</a> </TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.cup.org/"> Cambridge University Press</A></TR>
<TR><TD><I>Year:</I>  <TD>1998</TR>
<TR><TD><I>ISBN:</I>  <TD>0-521-58274-1</TR>
</TABLE>

<H3> Non-programming related books </H3>


<H4><A NAME="sml97" href="http://mitpress.mit.edu/book-home.tcl?isbn=0262631814">The Definition of Standard  ML (Revised)</A></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>Robin Milner, Mads Tofte, Robert Harper, and David MacQueen</TR>
<TR><TD><I>Publisher:</I> <TD><a href="http://mitpress.mit.edu">The MIT Press</a></TR>
<TR><TD><I>Year:</I>  <TD>1997</TR>
<TR><TD><I>ISBN:</I>  <TD>0-262-63181-4</TR>
</TABLE>

<H4><a href="http://mitpress.mit.edu/book-home.tcl?isbn=0262631326">The Definition of Standard  ML</a></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>Robin Milner, Mads Tofte, and Robert Harper</TR>
<TR><TD><I>Publisher:</I> <TD><a href="http://mitpress.mit.edu">The MIT Press</a></TR>
<TR><TD><I>Year:</I>  <TD>1989</TR>
<TR><TD><I>ISBN:</I>  <TD>0-262-63132-6</TR>
</TABLE>

<H4><a href="http://mitpress.mit.edu/book-home.tcl?isbn=0262631377">Commentary on Standard ML</a></H4>
<TABLE>
<TR><TD><I>Authors:</I><TD>Robin Milner and Mads Tofte </TR>
<TR><TD><I>Publisher:</I> <TD><a href="http://mitpress.mit.edu">The MIT Press</a></TR>
<TR><TD><I>Year:</I>  <TD>1991</TR>
<TR><TD><I>ISBN:</I>  <TD>0-262-63137-7</TR>
</TABLE>

<H4><a
href="http://www.springer-ny.com/catalog/np/oct96np/DATA/0-387-94875-9.html">
ML With Concurrency</a></H4>
<TABLE>
<TR><TD><I>Editor:</I><TD>Flemming Nielson
<TR><TD><I>Publisher:</I> <TD>Springer
<TR><TD><I>Year:</I> <TD>1997
<TR><TD><I>ISBN:</I> <TD>0-387-94875-9
</TABLE>

<H4><a href="http://www.cup.org/Titles/416/0521416957.html">Compiling with Continuations</a></H4>
<TABLE>
<TR><TD><I>Authors:<TD><a href="http://www.cs.princeton.edu/~appel/">Andrew W. Appel</a></TR>
<TR><TD><I>Publisher:</I>
    <TD><A HREF="http://www.cup.org/"> Cambridge University Press</A></TR>
<TR><TD><I>Year:</I>  <TD>1992</TR>
<TR><TD><I>ISBN:</I>  <TD>0-521-41695-7</TR>
</TABLE>


<!------------------------------------------------------------------------>
<HR>
<H3><A NAME="documentation" href="index.html">SML/NJ Documentation</A></H3>

<!------------------------------------------------------------------------>
<HR>
<H3><A NAME="other">Other Resources</A></H3>

<UL>
  <LI>
    <A HREF="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html">comp.lang.ml FAQ</a>
  <LI>comp.lang.ml archive
  <LI><a href="http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html">comp.lang.functional FAQ</a>
  <LI>Bibliography of <A HREF="http://www.cs.princeton.edu/~appel/papers/">
    Andrew Appel's technical papers</A>.
  <LI> Bibliographies
</UL>

<HR>
<CENTER><STRONG>
| <A HREF="../index.html">SML/NJ Home page</A>
| <br>
| <A HREF="index.html">SML/NJ Documentation Home page</A>
|
</STRONG></CENTER>
<HR>
Send your comments to <img src="../smlnj-list-logo.jpg" align=center>.<br>
<FONT SIZE="-3">
  Copyright &#169; 1996,
  <A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>.
  <BR>
</FONT>
</BODY>
</HTML>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0