Computer Science 61A - Spring 2008
Source of these courses is
berkeley
This course exposes students to techniques of abstraction at several levels: (a) within a programming language, using higher-order functions, manifest types, data-directed programming, and message-passing; (b) between programming languages, using functional and rule-based languages as examples - Professor Brian Harvey Lectures 5 & 6 contain copyright material and will be public when permission is granted.
berkeley
Website: http://www.dnatube.com/school/berkeley