Dateline for Programming Languages, Spring 2011
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 31
|
Mon
|
Introduction;
Caml I: basic data, lists, let |
|
|
|
Feb 2
|
Wed
|
Caml II: tuples,
patterns, functions
|
|
|
|
Feb 7
|
Mon
|
Caml III: more functions,
types, records, refs, arrays
|
|
|
|
Feb 9
|
Wed
|
Caml IV: exceptions, Modules
|
|
|
|
Feb 14
|
Mon
|
Caml V: Modules, ocamlc
|
|
|
|
Feb 16
|
Wed
|
Operational Semantics I: Logic
|
HW1
|
|
|
Feb 21
|
Mon
|
Opsem II: Fb Syntax, Semantics
|
|
|
|
Feb 23
|
Wed
|
Opsem III: Fb Interpreter
|
|
|
|
Feb 28
|
Mon
|
Opsem IV: Fb Programming
|
HW2
|
|
|
Mar 2
|
Wed
|
Records
|
|
|
|
Mar 7
|
Mon
|
Operational Equivalence
|
|
|
|
Mar 9
|
Wed
|
State; Exceptions
|
|
|
|
Mar 14
|
Mon
|
Exceptions; Objects I
|
|
HW3
|
|
Mar 16
|
Wed
|
Objects II
|
|
|
|
Mar 21-25
|
|
Spring Break
|
||
|
Mar 28
|
Mon
|
Types I: TFb
|
|
|
|
Mar 30
|
Wed
|
Types II:
Implementing Type Checkers
|
|
|
|
Apr 4
|
Mon
|
Types III: Subtyping
|
|
|
|
Apr 6
|
Wed
|
Types IV: Type Inference
|
HW4
|
|
|
Apr 11
|
Mon
|
Concurrency I
|
|
|
|
Apr 13
|
Wed
|
Concurrency II
|
|
|
|
Apr 18
|
Mon
|
|
|
|
|
Apr 20
|
Wed
|
HW5
|
||
|
Apr 25
|
Mon
|
|
|
|
|
Apr 27
|
Wed
|
|
|
|
|
May 2
|
Mon
|
Implementation continued; Study of Haskell
|
|
|
|
May 4
|
Wed
|
Exam Pre-Cram Session
|
|
HW6 (May 6th)
|
|
May 13,
5-6PM
|
Fri
|
Review,
Shaffer 202
|
|
|
|
May 16,
9AM-noon
|
Mon
|
Final Exam,
Shaffer 202
|
|
|