Some type checking algorithms I implemented while working through Types and Programming Languages.
Mostly just Haskell translations of the type systems in the text and their respective OCaml implementations on the website.
Some type checking algorithms I implemented while working through Types and Programming Languages.
Mostly just Haskell translations of the type systems in the text and their respective OCaml implementations on the website.