3 ms·

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

• nextaccountic 3y ago
  There's Types and Programming Languages by Benjamin Pierce