Practical type inference for polymorphic recursion: an implementation in Haskell (2003)

by Cristiano Vasconcellos, Lucilia Figueiredo, Carlos CamarĂ£o
Venue:Journal of Universal Computer Science