A region inference algorithm (1998)

by Mads Tofte, Lars Birkedal
Venue:ACM Transactions on Programming Languages and Systems