DATE |
TOPIC |
READINGS |
ASSIGNMENTS |
May 02 M |
Course Administration/History of
PL |
Chapter 1,2 |
|
May 04 W |
Why
functional programming / ML
? |
Notes |
|
May 05 T |
SML
introduction - basic values
& operators |
Notes |
|
May 09 M |
Lisp: functions, recursion &
lists |
Chapter 3 |
|
May 11 W |
SML
Lists/Tuples/Records |
Notes |
Binary
Resistance Circuits |
May 12 T |
Higher-order
functions |
Notes |
Solution |
May 16 M |
Parsing & compilation |
Chapter 3 |
|
May 18 W |
Lambda calculus |
Chapter 4 |
|
May 19 T |
Denotational semantics |
Chapter 4 |
|
May 25 W |
SML
datatypes |
Notes |
Calendar |
May 30 M |
Algol family & ML |
Chapter 5 |
|
May 31 T |
SML
datatypes - Finite Trees |
Notes |
|
June 01 W |
Type systems & type
inference |
Chapter 6 |
|
June 02 T |
Midterm review |
Notes |
|
June 06 M |
MIDTERM |
Review | |
June 08 W |
SML IO/Imperative features |
Notes |
|
June 09 T |
Scope/functions/storage
management |
Chapter 7 |
|
June 13 M |
Control in sequential languages I |
Chapter 8 |
|
June 15 W |
Control in sequential languages
II |
Chapter 8 |
|
June 16 T |
Infinite
lists in ML/ Haskell |
Notes |
|
June 20 M |
Data abstraction &
modularity I |
Chapter 9 |
Parser combinators |
June 22 W |
Data abstraction &
modularity II |
Chapter 9 |
|
June 23 T |
ML
Module System |
Notes |
|
June 27 M |
Concepts in OO-languages |
Chapter 10 |
|
June 29 W |
History of OO programming |
Chapter 10 |
|
July 04 M |
Objects & run-time
efficiency C++ 1, 2, 3 |
Chapter 12 |
|
July 06 W |
Portability & safety Java |
Chapter 13 |
MugEngine |
July 07 T |
Programming examples C++ |
Notes |
|
July 11 M |
Concurrent & distributed
programming I |
Chapter 14 |
|
July 13 W |
Concurrent & distributed
programming II |
Chapter 14 |
|
July 18 M |
Logic
programming & Prolog |
Chapter 15 |
|
July 20 W |
Logic
programming & Prolog |
Chapter 15 |
|
July 21 T |
Simulating
paradigms |
Notes |
|
July 25 M |
Logo & Logorhythms |
Notes |
|
July 27 W |
Visual Progr. Languages:
Max/Msp, PD |
Notes |
|
July 28 T |
Chuck: real-time audio synthesis |
Notes |