AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference
Complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.
Homepage Repository Hackage TeX Download
cabal install AlgorithmW-0.1.0.0
Example implementation of Algorithm W for Hindley-Milner type inference