Reference Materials

Language manuals and tutorials

• The Scheme Programming Language: ANSI Scheme by R. Kent Dybvig, Second Edition, 1996, is available online in its entirety. There is also an excellent Scheme tutorial which is the online version of the text How to Design Programs. Prof Aaby wrote something between a tutorial and a cheat sheet. For a reasonable tutorial of managable length, try Stephen Bloch's. An excellent tutorial by Paul R. Wilson.

  For a good thin book to learn Scheme from, try The Little Schemer. For a book that will make your head explode with good stuff, try Structure and Interpretation of Computer Programs. For a more accessible text, often used in CS257, try Scheme and the Art of Programming.

• Prolog tutorial by J. R. Fisher. Better tutorial, Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz.

• The Oaklisp Language Manual will be available.

• Standard ML tutorials: short, longer, harper. Standard basis docs, more.

• Haskell tutorials: short, long, predefined functions, Hugs 98 User Manual.

Implementations

• The CS machines (eg gig-6.cs.unm.edu) have mzscheme installed. This is our "reference" Scheme implementation. Please test that your code works with it. You may also use guile, scheme48, scsh, elk, scm, or any other reasonably RnRS-compliant implementation. See Schemers.org for pointers to implementations.

• The CS machines have SWI Prolog installed (swiprolog), which is our reference implementation. You may also try GNU Prolog.

• The CS machines will have Oaklisp installed.

• We will be using the OCAML implementation of ML, which will be installed on the CS machines. It is also available pre-packaged for Debian GNU/Linux, and other GNU/Linux distributions. The Standard ML SourceForge Project has pointers to many implementations of the Standard ML dialect of ML, which differs in some minor ways from CAML. The CS machines have Standard ML of New Jersey installed (sml). You can also try MLTON, a rather aggressive batch compiler for SML.

• The CS machines have Haskell installed (hugs).

Papers of interest to people who like this stuff

• Why Functional Programming Matters by John Hughes.
• Guy L. Steele Jr. and Gerald J. Sussman, The Art of the Interpreter, MIT AI Memo 453
• Proof-carrying code
• Tutorial Notes on Partial Evaluation. C. Consel and O. Danvy. In ACM Symposium on Principles of Programming Languages, pages 493-501, 1993.
• Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell by Simon Peyton Jones