A Typed Intermediate Language for Flow-Directed Compilation (1997)

by J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak