In the same vein you have this site [1], with misc type related algorithms and implementations in OCaml . [2] is a paper with a modula-2 implementation. Writt

In the same vein you have this site [1], with misc type related algorithms and implementations in OCaml . [2] is a paper with a modula-2 implementation. Written by Luca Cardelli, a type fellow, it really helped me to understand type inference. [1] https://github.com/tomprimozic/type-systems https://github.com/tomprimozic/type-systems. [2] http://lucacardelli.name/Papers/BasicTypechecking.pdf http://lucacardelli.name/Papers/BasicTypechecking.pdf