Links to useful information

Links to useful information

The following documents provide information on the texts, languages, and tools used in this course:

• Account request If you don't have a dci account, request one now!
• Text links:
  • Concepts in Programming Languages Includes Errata
• Haskell:
  • Haskell.org - information on all things Haskell
  • GHC is the compiler/interpreter we will use.
  • Haskell tutorials
    • Yet another Haskell tutorial
    • Learn you a Haskell for greater good is better than it sounds!
    • A gentle introduction to Haskell
  • Haskell Cheat Sheet
  • Tour of the Haskell Prelude http://ww2.cs.mu.oz.au/172/Haskell/tourofprelude.html This provides you with all of the top-level built-in functions like ++, foldr, toUpper, etc.
  • Some standard modules List, Char
  • Some standard type classes Eq & Ord, Read & Show
  • Haskell 98 report Language definition.
  • Real World Haskell Free online version of O'Reilly text.
  • Monads:
    • Understanding Haskell monads
    • Monads for the working Haskell programmer
    • All about monads
• Scala:
  • Scala home
  • Scala plug-in for eclipse
  • Scala reference manuals (and tutorials)
  • Scala for Java programmers Several articles of interest.
  • Scala traits and types
  • Scala: Of traits and behaviors
  • Scala actors: A short tutorial
• Scheme:
  • Scheme tutorial by Catharina Candolin.
  • Chez Scheme Home Page The scheme installed on dci computers.
  • The Scheme Programming Language, 3rd edition
  • Chez Scheme User's Guide
  • DrScheme Home Page An educational version of Scheme available for virtually all platforms, including Macs and PCs.
• SML:
  • Programming in Standard ML by Robert Harper. This is an excellent overview of all aspects of ML. Choose the on-line or off-line version.
  • A Gentle Introduction to ML, an ML tutorial by Andrew Cumming of Napier University, Edinburgh.
  • Standard ML of New Jersey home page
• Emacs: There are lots of emacs quick reference guides and tutorials on line. Seach for them. Here are a couple of specialized documents.
  • Emacs beginner tutorial
  • Emacs Quick reference guide
  • Using emacs with SML
• Relevant Papers:
  • J. McCarthy, .Recursive functions of symbolic expressions and their computation by machine, Comm. ACM 3, 4 (1960) 184-195.
  • J. Backus, Can programming be liberated from the von Neuman style?, Comm. ACM 21, 8 (1978) 613-641.
  • Guy Steele, Growing A Language, OOPSLA 98 Keynote address.
  • D. Ingalls, Design principles behind Smalltalk, BYTE Special Issue on Smalltalk, August 1981. (Scanned by Dwight Hughes.)
• Lambda Calculus:
  • Lambda Calculus Cheat Sheet.
  • Lambda Calculus Cheat Sheet continued.
• Subtypes:
  • Subtypes Chapter 5 of Foundations of Object-Oriented Languages by Kim Bruce (MIT Press, 2002)

Links to useful information