type-inference-rank2
Haskell
★ 3
updated 12y ago
▣ archived
Implementation of Kfoury, Wells '93 type inference algorithm for rank-2 System F. Link to the original paper http://www.macs.hw.ac.uk/~jbw/papers/#Kfo+Wel:LFP-1994
No plain-English explanation yet — one is being written right now. Check back in a minute.