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

by L Birkedal, M Tofte, M Vejlstrup
Venue:in ``Proceedings of the 23rd ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages