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

by Lars Birkedal, Mads Tofte, Magnus Vejlstrup
Venue:In Proc. 23rd Annual ACM Symposium on Principles of Programming Languages