AlgorithmW Algorithm W (proposed by Milner) for type inference. An implementation of Algorithm W in Haskell; follows the paper Algorith W Step by Step by Martin Grabmüeller.