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 quick reference guide Handout created by Jim Marshall
  • 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:
  • Emacs Quick Reference Guide Handout created by Jim Marshall
  • Using emacs with Scheme Handout created by Jim Marshall
  • 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