Wand87-A-Simple-Algorithm-and-Proof-for-Type-Inference. My OCaml implementation of Wand's A Simple Algorithm and Proof for Type Inference (1987)

github.com/mrandri19/Wand87-A-Simple-Algorithm-and-Proof-for-Type-Inference
by @mrandri19

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.