CSE 505: Concepts of Programming Languages

Autumn 2002

Meeting Times

MF 2-3:20, MGH 288

Instructor: Craig Chambers (`chambers@cs`)

office hours: TBD, Sieg 309

TA: Todd Millstein (todd@cs)

office hours: Wednesdays from 3:30-4:30pm, Sieg 427; or by appointment

Course Handouts

Lecture notes are available here.
Homework assignments are available here.
Readings are available here.
Other handouts are available here.

Mailing List and Threaded Archives

We will be using a mailing list for administrative and instructional purposes.

If you wish to refer to a previously sent message, see the threaded mailing list archives.
Send mail to the list at cse505@cs.washington.edu.
To subscribe to the list, visit this page or send email to cse505-request@cs.washington.edu with the single line in the message body (not the subject):

subscribe optional-email-address

ML Resources

how to access SML locally
Bob Harper's Programming in Standard ML
The SML/NJ home page
Using the SML/NJ System
documentation for SML's standard library
Luca Cardelli's Basic Polymorphic Typechecking

Cecil Resources

The Cecil language reference manual (html, postscript, gziped postscript)
The Cecil standard library reference manual (html, postscript, gziped postscript)
The Vortex compiler manual (html, postscript, gziped postscript)
How to run or compile your own Cecil programs (html)

Various Programming Language Resources