A region inference algorithm. Transactions on Programming Languages and Systems (TOPLAS) (Accepted (1998)

by Mads Tofte, Lars Birkedal
Venue:Department of Computer Science, University of Copenhagen