layout page title Readings date 2018-01-24 categories notes resources permalink /resources Assigned readings (Week 0) The Next 700 Programming Languages. Peter Landin (Week 1) Definitional interpreters for higher-order programming languages. John Reynolds