|
|
|
|
|
Lecture Slides
Here are links to the PDF, PowerPoint and CSD (Classroom
Presenter) files for the lecture slides. You may print a hardcopy of
the slides to refer to during lecture.
| Date |
Title |
CSD
(Presenter) |
PDF |
PowerPoint |
| 3/28/06 |
Intro; Caml; functional programming |
CSD |
PDF |
PPT |
| 4/4/06 |
Functional programming, syntax,semantics via interpretation or translation |
CSD |
PDF |
PPT |
| 4/11/06 |
Semantics via translation, equivalence & properties, lambda introduction |
CSD |
PDF |
PPT |
| 4/18/06 |
Untyped lambda-calculus, inference rules, environments, ... |
CSD |
PDF |
PPT |
| 4/25/06 |
Continuations, types |
CSD |
PDF |
PPT |
| 5/2/06 |
Types, Subtyping |
CSD |
PDF |
PPT |
| 5/9/06 |
Coercions, Type Variables, Type Inference |
CSD |
PDF |
PPT |
| 5/16/06 |
Types Wrap-up; Object-Oriented Programming |
CSD |
PDF |
PPT |
| 5/23/06 |
Fancier OOP; Concurrency |
CSD |
PDF |
PPT |
| 5/30/06 |
Atomicity; Memory Management |
CSD |
PDF |
PPT |
Audio and Video Archives
On the day after the lecture, video archives will be posted here in a format
suitable for both WebViewer,
and Windows Media Player. WebViewer permits the playback
of certain enabled live streams and archives with slides and
instructor tablet annotations. To use the WebViewer
archives, install WebViewer,
then click on links in the WebViewer column below.
| Date |
Lecture |
Video Archive |
MP3 |
| Windows Media |
MP4 |
WMV with slides in place of video
(for mobile devices) BETA |
WebViewer |
Download WebViewer Archive |
| 3/28/2006 |
Lecture 1 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 3/28/2006 |
Lecture 1 Demo
(Screen Capture) |
Stream,
Download |
|
|
| 4/4/2006 |
Lecture 2 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 4/11/2006 |
Lecture 3 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 4/18/2006 |
Lecture 4 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 4/25/2006 |
Lecture 5 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 5/2/2006 |
Lecture 6 |
Stream,
Download
|
Download |
Download
|
Launch WebViewer |
Download |
Download |
| 5/9/2006 |
Lecture 7 |
Stream,
Download
|
Download |
Download (Now
with ink!) |
Launch WebViewer |
Download |
Download |
| 5/16/2006 |
Lecture 8 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 5/23/2006 |
Lecture 9 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
| 5/30/2006 |
Lecture 10 |
Stream,
Download
|
Download |
Download |
Launch WebViewer |
Download |
Download |
Podcast
 CSEP505 podcast
Live Streamed Lectures
Live lectures may also be viewed:
See http://www.cs.washington.edu/masters/dl_tech/
for details.
|
CSE Home 
