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.
By Luca Cardelli. He knows a thing or 10 about PLT.
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.