From region inference to von neumann machines via region representation inference (1996)

by L Birkedal, M Tofte, M Vejlstrup
Venue:In Proc. of POPL