fromheten/Wand87-A-Simple-Algorithm-and-Proof-for-Type-Inference
My OCaml implementation of Wand's A Simple Algorithm and Proof for Type Inference (1987)
OCamlMIT
No issues in this repository yet.
My OCaml implementation of Wand's A Simple Algorithm and Proof for Type Inference (1987)
OCamlMIT
No issues in this repository yet.