Oregon Programming Languages Summer SchoolOregon Programming Languages Summer School — July 16-28, 2012 Logic, Languages, Compilation, and Verification Speakers Organizers Curriculum Schedule Participants The program consists of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research. Technical Lectures Logical relations — Amal Ahmed Lecture 1 part 1 part 2 part 3 Lecture 2
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
