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.
type checking algorithms for various type systems
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.
type checking algorithms for various type systems