Reference Materials

Code from Class

Language manuals and tutorials

• The Scheme Programming Language: ANSI Scheme by R. Kent Dybvig, Second Edition, 1996, is available online in its entirety.
• Scheme tutorial
• Prolog tutorial by J. R. Fisher.
• Better tutorial, Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz.
• JAVA tutorial
• ML tutorials: short, longer, harper.
• Haskell tutorials: short, long, predefined functions, Hugs 98 User Manual.

Implementations

• The CS machines (eg gig-6.cs.unm.edu) have mzscheme installed.
• The CS machines have SWI Prolog installed (swiprolog).
• The Standard ML SourceForge Project has pointers to many implementations of ML.
• The CS machines have standard ML of New Jersey installed (sml).
• The CS machines have Haskell installed (hugs).

Papers of particular interest

• 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