-
Notifications
You must be signed in to change notification settings - Fork 0
PFPL Reading Group
We will be reading portions of the textbook Practical Foundations for Programming Languages (2nd ed.) by Robert Harper. PFPL introduces the fundamentals of type theory and demonstrates how a wide variety of ideas in programming language design can be understood within this expressive mathematical framework.
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 ([email protected]).
You can join the #learning channel on the Hazel Slack for discussion and reminders. Email Cyrus ([email protected]) 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.
We meet Thursdays at 7pm. Feel free to bring dinner.
10/10 at 7pm in 3941 BBB
- Skim Part 1 (Judgements & Rules)
- 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.
10/17 at 7pm in 3941 BBB
- Read Sections 5.1, 5.2, 6.1
10/24 -- Review Meeting in 4773 BBB
10/31 at 7pm in 3941 BBB
- Read Sec. 6.1 and 6.2
- Prove Lemma 6.3 (Canonical Forms)
11/7 at 7pm in 3941 BBB
- Read Sec. 8.2
11/14 at 7pm in 3941 BBB
- Read Sec. 9.1, 9.2
11/21 at 7pm in 3941 BBB
- Read Sec. 19.1, 19.2, 10.1, 10.2
11/28 -- No Meeting (Happy Thanksgiving!)
12/5 at 7pm in 3941 BBB
- Read Sec. 10.1, 11.1, 11.3, 20.1, 20.2