Charlie's office hours: M/Tu 4-5, W/F 10:30-11:30.
Grading
Reading list
Types and programming languages by Pierce, Benjamin C. (available in electronic form from the UCSC library)
Programming in Scala (2nd Edition) by Odersky, Spoon, and Venners
Optional background reading
Hoare "Hints on Programming Language Design"
Wegner, "Programming Languages - The First 25 Years"
Wirth, "On The Design of Programming Languages"
Nauer, "Report on the algorithmic language Algol60"
Hudak, "Conception, evolution, and application of functional programming languages"