CS 61A - Spring 08 - TheStructure and Interpretation of Computer Programs Instructor Brian Harvey Introduction to programming and computer science. 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. It also relates these techniques to the practical ...