Implementation of algorithm W by Martin Grabmüller
In this paper we develop a complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference in Haskell.
##Paper
tcdl-univ/algorithmw_haskell
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|