|
|
|
|
|
Audio and Video Archives
On the day after the lecture, video archives will be posted here. If you are
running Windows, we recommend that you install
WebViewer. WebViewer permits viewing of specially prepared Windows
Media live streams and archives with instructor slides and Tablet PC
annotations. To use the WebViewer archives, install, then click on links in the
WebViewer column below.
| Date |
Lecture |
Video Archive |
| Windows Media |
MP4 |
Audio with Video of Presentation Slides
and Ink |
WebViewer
Streamed |
WebViewer Archive
Download |
| 1/8/2009 |
Lecture 1: Intro; Caml; Functional Programming |
Stream,
Download, Demo in high-res
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 1/15/2009 |
Lecture 2: Functional programming; Syntax; Interpreters |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 1/22/2009 |
Lecture 3: Small-step interpreter, semantics via translation, state-passing, introduction to lambda-calculus |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 1/29/2009 |
Lecture 4: Untyped lambda-calculus, Formal operational semantics |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 2/5/2009 |
Lecture 5: Continuations; Types |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 2/12/2009 |
Lecture 6: Types |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 2/19/2009 |
Lecture 7: Subtyping, Type Variables, Type Inference |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 2/26/2009 |
Lecture 8: Wrap-up Types; Start Concurrency |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 3/5/2009 |
Lecture 9: Finish Concurrency; Start OOP |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
| 3/12/2009 |
Lecture 10: Finish OOP; Memory Management |
Stream,
Download
|
Download |
Download
WMV
Download MP4 |
Launch WebViewer |
Download |
Live Streamed Lectures
Live lectures may also be viewed:
|
CSE Home 
