CSE Building University of Washington Computer Science & Engineering
CSEP505, Winter 2009 Lecture Archives
  CSE Home   About Us    Search    Contact Info 

 Course Home
   

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 logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to fred]