A region inference algorithm (1998)

by M Tofte, L Birkedal
Venue:Transactions on Programming Languages and Systems