Notes from "Practical Foundations for Programming Languages"

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

Practical Foundations for Programming Languages (PFPL), by Robert Harper, is an introduction to the theory of programming languages. I recently finished reading through it. My read was fairly cursory - I stopped to think about ideas which seemed important or interesting, but I didn’t read everything deeply, and I didn’t do a lot of exercises. In this post I’ll summarize the…

Read on /notes-from-pfpl/ ↗