
| Topic | Author |
| Review II : Questions/Thoughts? | Ashish Gupta (14) |
| Review I : Questions/Thoughts? | Ashish Gupta (14) |
| Logic Programming II : Questions/Thoughts? | Ashish Gupta (14) |

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.