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
Javascript:
- Javascript tutorial
- Doug Crockford's web page on Javascript
- Crockford's book "JavaScript: The Good Parts" is excellent. It can be bought on-line, but there are also lots of free electronic versions floating around the web. Look for it.
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 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
Scala:
- Scala home
- Scala plug-in for eclipse
- Scala reference manuals (and tutorials)
- Programming Scala: Free on-line text
- 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.
- 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.
- 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