Programming Languages Background - Lecture 1

Oregon Programming Languages Summer School — June 20-July 2, 2016

These two lecture series will cover foundational programming languages background that will prepare students for the later lectures. The topics that will be covered include operational semantics and type systems; function, product, sum and recursive types; polymorphism; concurrency; cost semantics; the logical relations proof method; parametricity. Practical Foundations for Programming Languages chapters 1-10, 14-20, 37-38, 46-48.