Graduate Programming Languages

CS386L Spring 2007
Unique: 55155
Time: TTH 9:30AM-11:00AM
Location: RLM 5.118

Instructor: William Cook
Email: cook@cs.utexas.edu
Phone: (512) 471-9555
Office: ACES 5.244
Office Hours: Mon 3-4, Tues 3:30-4:30

Teaching Assistant: Austin Waters
Email: austin@cs.utexas.edu
Office Hours: 11:00-12:30 on Tuesdays and 12:30-2:00 on Wednesdays
Office Hours Location: desk #6 in ESB 229A

This couse is an in-depth investigation of the theory of programming languages. The course covers the fundamental tools used in the analysis and design of programming languages. The primary focus is on semantics and type theory. We will also consider their application to imperative, functional, and object-oriented languages.

News

Programming project assigned.. Due Friday April 27 at 5pm.

The final exam will be take-home: Distributed Noon on May 9, Due at 5pm May 11.

Clarified statement of HW #3: Complete proof of preservation for Simply-Typed Lambda-Calculus with References (13.5.3) [Note: there is some backround info in and around theorem 9.3.9]

Homework #3 now due March 6.