Polymorphic type, region and effect inference. (1992)

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