There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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