Polymorphic type, region and effect inference (1992)

by J-P Talpin, P Jouvelot
Venue:J. Funct. Programming