hopl-s2017

History of Programming Languages, Spring ‘17 Edition

This repository is for supplemental material. The course web page lists the schedule and the links to the presented theme papers.

Course webpage

http://www.ccs.neu.edu/home/matthias/7480-s17/

Overview

• lecture_notes/ students’ combined notes from lectures
• other folders are speakers’ materials for their presentations

Full-abstraction

• Morris. Lambda-calculus models of programming languages. MIT, 1969.