The metacircular evaluator
ocw.mit.edu