This course meets from 12:00-12:50 MWF in the Math/CS Department lab. Our main textbook will be Shriram Krishnamurthi's Programming Languages: Application and Interpretation, which is available on the Web for free.
My office hours are MWF 11:00-12:00 and T 10:00-4:00.
I also taught this course, in various guises, in Spring 1995, Spring 1996, Spring 1997, Spring 1998, Spring 2008, Spring 2010, and Spring 2011.
I presume you all know how to get DrRacket.
To use the PLAI language, switch languages to "Use language specified in
#lang plai in the
Definitions pane (in place of the
which should be there automatically) and click the "Run" button.
Now you'll have
define-type available to you, with
check-expect for writing test cases.
For this course, I recommend using
Haskell Platform, which is available for Windows, Mac, and Linux.
This includes a Haskell compiler as well as
ghci, an interactive platform.