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
  • Elements of ML programming (SML 97 edition) Includes Errata
• 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