Polymorphic type, region, and eect inference (1992)

by J-P Talpin, P Jouvelot
Venue:Journal of Functional Programming