[mollerhoj]

I really wish Bob would write a “Crafting Type Checkers” sequel.

[nextaccountic]

There's Types and Programming Languages by Benjamin Pierce