OCaml implementation of type inference algorithm called AlgorithmW. Based on the paper Algorithm W Step by Step Martin Grabmuller
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool