Links to useful information

Links to useful information

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

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
  - A gentle introduction to Haskell
- Haskell Cheat Sheet
- Tour of the Haskell Prelude 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: Recommended tutorials
Grace:
- Grace: the Absence of (Inessential) Difficulty
- Grace: an open-source object-oriented programming language for education
- Seeking Grace: A New Object-Oriented Language for Novices
- Grace Documentation (including language spec)
- Draft of introductory text: Programming with Grace by Kim B. Bruce, Andrea Pohoreckyj Danyluk, and Tom Murtagh
Javascript:
- Javascript tutorial
- Doug Crockford's web page on Javascript
- Crockford's book Javascript: The Good Parts is free on-line if you have a college e-mail address.
Scala:
- Scala home
- Scala plug-in for eclipse
- Scala reference manuals (and tutorials)
- Programming Scala: Free on-line text
- Scala for Java programmers Tutorial aimed at Java programmers.
- Scala traits and types
- Scala: Of traits and behaviors
- Scala Akka documentation
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.
- 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.
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. The video is also available on-line.
- 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