algorithmw_haskell

Implementation of algorithm W by Martin Grabmüller

Abstract

In this paper we develop a complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.

##Paper