1. 10

  2. 2

    By Luca Cardelli. He knows a thing or 10 about PLT.

    1. 2

      Good stuff. If this sounds interesting, Types and Programming Languages also has chapters that implement type system features in a very small amount of OCaml code. The theory can be overwhelming, but in practice you can implement a basic type system quite easily once you see it.