Daniel Jackson's 6.001 Recitation (Fall 1999)
Recitation Notes
Recitation 1: Interpreters & Evaluation
Recitation 2: Kinds of Expression,
Evaluation
Recitation 3: Failed Evaluations,
Lambda
Recitation 4: Iterative and Recursive
Processes
Recitation 5: Lists and BPDs
Recitation 6: List functionals and
Trees
Recitation 7: Products, Powersets,
Permutations
Recitation 8: Data Abstraction and
Tags
Recitation 9: A Safer Data Abstraction
Recitation 10: Memoization: An Application
of Mutation
Recitation 13: Object-Oriented Programming,
Part 1
Recitation 14: Object-Oriented Programming,
Part 2
Recitation 15: Interpreting Baby BASIC
Recitation 16: Implementing the Environment
Model
Recitation 17: Quiz Review
Recitation 18: Streams (given by Robbin Chapman)
Recitation 19: Separating Analysis
from Evaluation
Recitation 20: Static Type Checking
Recitation 21: Register Machine
Recitation 22: Subroutines and the
Stack
Recitation 23: Explicit Control Evaluator
Recitation 24: Compilation
Recitation 25: Memory Management
Daniel Jackson