From Region Inference to von Neumann Machines via Region Representation Inference.

Lars Birkedal, Mads Tofte, Magnus Vejlstrup

Browse the full POPL paper archive.