PFPL Reading Group

We will be reading the portions of the textbook Practical Foundations for Programming Languages (PFPL) by Robert Harper. This book introduces the fundamental of type theory and demonstrates how a wide variety of ideas in programming language design can be understood within this expressive mathematical framework.

Book Access

Cyrus has physical copies of the book for loan in his office. If you want a PDF copy of the book, David Moon can help you (dmoo@umich.edu).

Slack

You can join the #learning channel on the Hazel Slack for discussion and updates. Email Cyrus (comar@umich.edu) for an invitation (you don't have to be part of the Hazel project itself). Don't be shy about asking questions there if anything is confusing.

Schedule

We meet Thursdays at 7pm, usually in 3941 BBB except for October 24th, when we will meet in 2311 EECS.

10/10

• Skim Part 1 (Judgements & Rules)
• Read Chapter 3.1 (Hypothetical Judgements)
• Read Chapter 4 (Statics)
• Try to prove Lemma 4.2 in detail.
• If you have time, think about how you would prove Lemma 4.1.