CS 145: Design, Abstraction, and Implementation

Resources

This page contains links to resources that may be useful and/or interesting to CS 145 students. None of this is required reading, but much of it is recommended. New links may appear during the term.

Scheme links

  • The Scheme Programming Language, by Kent Dybvig (fourth edition). Part R5RS reference and part textbook. Remember, though: Racket is not Scheme.
  • Structure and Interpretation of Computer Programs, by Abelson, Sussman, and Sussman. This is a classic textbook largely responsible for Scheme's position in education. We take inspiration from it, as did the HtDP textbook, but our approach integrates better with the rest of the UW curriculum.
  • Schemers.org, with extensive links to Scheme resources.

Miscellaneous links

  • Lambda the Ultimate, a community weblog (with forums) on research in programming languages.
  • The main Haskell web page. There are (hopefully not too old) versions of the GHC compiler and the GHCi and HUGS interpreters available on the CS undergraduate environment, and GHC/GHCi may also be available in the Mac labs (in /usr/local/bin).
  • The OCaML web page.
  • Standard ML of New Jersey. There is a fairly recent version of SML available on the CS undergraduate environment.
  • The design recipe applied in intensive care to save lives.
Last modified on Saturday, 21 May 2011, at 15:44 hours.