From Region Inference to von Neumann Machines via Region Representation Inference (1996)

by Lars Birkedal, Mads Tofte, Magnus Vejlstrup, Nkt Elektronik
Venue:In Twenty-Third ACM Symposium on Principles of Programming Languages