Unification and polymorphism in region inference (2000)

by Mads Tofte, Lars Birkedal
Venue:In Proof, Language, and Interaction. Essays in Honour of Robin Milner