1. Lambda Calculus
2. JavaCC grammars
3. An interpreter for nested environments
4. First-class functions
5. A rational number class for C++
6. List Processing in Prolog