UW CSE CSEP505, Sp 2006 Podcast http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ University of Washington CSEP505, Sp 2006 Podcast en Wed, 31 May 2006 20:00:44 GMT webmaint@cs.washington.edu UW CSE http://www.cs.washington.edu/images/logo.png http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Intro; CAML Tutorial:3/28/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 28 Mar 2006 08:00:00 GMT Functional programming, syntax, semantics via interpretation or translation:4/4/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 04 Apr 2006 08:00:00 GMT Semantics via translation, equivalence & properties, lambda introduction:4/11/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 11 Apr 2006 08:00:00 GMT Untyped lambda-calculus, inference rules, environments, ...:4/18/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 18 Apr 2006 08:00:00 GMT Continuations, types:4/25/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 25 Apr 2006 08:00:00 GMT Types, Subtyping:5/2/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 02 May 2006 08:00:00 GMT Coercions, Type Variables, Type Inference:5/9/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 09 May 2006 08:00:00 GMT Types Wrap-up; Object-Oriented Programming:5/16/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 16 May 2006 08:00:00 GMT Fancier OOP; Concurrency:5/23/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 23 May 2006 08:00:00 GMT Atomicity; Memory Management:5/30/2006 http://www.cs.washington.edu/education/courses/csep505/06sp/lectures/ Tue, 30 May 2006 08:00:00 GMT