Assigned readings (Week 0) The Next 700 Programming Languages. Peter Landin (Week 1) Definitional interpreters for higher-order programming languages. John Reynolds