projedi/type-inference-rank2

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

语言：Haskell · GitHub 星标：3 · Fork：0

话题：deprecated

在 GitHub 上查看原仓库