J. B. Wells Allyn Dimock Robert Muller Franklyn A. Turbak A Typed Intermediate Language for Flow-Directed Compilation. 757-771 1997 conf/tapsoft/1997 TAPSOFT db/conf/tapsoft/tapsoft97.html#WellsDMT97 http://dx.doi.org/10.1007/BFb0030639