Polymorphic type, region and e#ect inference (1992)

by Jean-Pierre Talpin, Pierre Jouvelot
Venue:Journal of Functional Programming