J. B. Wells, Allyn Dimock, Robert Muller, and Franklyn Turbak. 
<b>A Typed Intermediate Language for Flow-Directed Compilation</b>.
In <i> 7th International Joint Conference on 
the Theory and Practice of Software Development (TAPSOFT '97)</i>.
Springer Verlag Lecture Notes in Computer Science, 1997.<hr>We present a typed intermediate language&lambda;<sup>CIL</sup>for optimizing compilers
for function-oriented and polymorphically typed programming languages
(e.g., ML). The language&lambda;<sup>CIL</sup>is a typed lambda calculus with product, sum,
intersection, and union types as well as function types annotated with
flow labels. A novel formulation of intersection and union types supports encoding flow
information in the typed program representation.
This flow information can direct optimization.<hr>[<a href="fase97.ps">PS</a>]  [<a href="fase97.pdf">PDF</a>]