Dateline for Programming Languages, Spring 2009
This dateline is close to what will actually happen and will be updated as we go in the event we deviate.
|
Day
|
Date
|
Lecture
|
Assignment out
|
Assignment due
|
|
Jan 26
|
Mon
|
Introduction;
Caml I: basic data, lists, let |
|
|
|
Jan 28
|
Wed
|
Caml II: tuples,
patterns, functions
|
|
|
|
Feb 2
|
Mon
|
Caml III: more functions,
types, records, refs, arrays
|
|
|
|
Feb 4
|
Wed
|
Caml IV: exceptions, Modules
|
|
|
|
Feb 9
|
Mon
|
Caml V: Modules, ocamlc
|
|
|
|
Feb 11
|
Wed
|
Goals and History of PL's
|
HW1
|
|
|
Feb 16
|
Mon
|
Operational Semantics I: Logic
|
|
|
|
Feb 18
|
Wed
|
Opsem II: D Syntax, Semantics
|
|
|
|
Feb 23
|
Mon
|
Opsem III: D Interpreter
|
HW2
|
|
|
Feb 25
|
Wed
|
Opsem IV: D Programming
|
|
|
|
Mar 2
|
Mon
|
Records
|
|
|
|
Mar 4
|
Wed
|
Operational Equivalence
|
|
|
|
Mar 9
|
Mon
|
Objects I
|
|
HW3
|
|
Mar 11
|
Wed
|
Objects II; State
|
|
|
|
Mar 16-20
|
|
Spring Break
|
||
|
Mar 23
|
Mon
|
Exceptions
|
|
|
|
Mar 25
|
Wed
|
Types I: TD
|
|
|
|
Mar 30
|
Mon
|
Types II:
Implementing Type Checkers
|
|
|
|
Apr 1
|
Wed
|
Types III: Subtyping
|
HW4
|
|
|
Apr 6
|
Mon
|
Types IV: Type Inference
|
|
|
|
Apr 8
|
Wed
|
Types Wrap; Concurrency I
|
|
|
|
Apr 13
|
Mon
|
HW5
|
||
|
Apr 15
|
Wed
|
|
|
|
|
Apr 20
|
Mon
|
|
|
|
|
Apr 22
|
Wed
|
|
|
|
|
Apr 27
|
Mon
|
|
|
|
|
Apr 29
|
Wed
|
Exam Pre-Cram Session
|
|
HW6 (May 1)
|
|
May 5,
5-6PM
|
Tue
|
Review,
Hodson 305
|
|
|
|
May 7,
2-5PM
|
Thu
|
Final Exam,
Hodson 305
|
|
|