A Typed Intermediate Language for Flow-Directed Compilation

We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL 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.

• Type: Conference
• Year: 1997
• Where: TAPSOFT
• Authors: J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak
• Keywords: Software Engineering, TAPSOFT 1997, Typed Intermediate Language, Typed Lambda Calculus, Union Types