Types in Compilation (TIC97)

Invited Lecture

Types in Compilation

Mitchell Wand, Northeastern University


We consider some of the issues raised by the use of typed intermediate languages in compilers for higher-order languages. After a brief introduction, we consider typed vs. untyped equivalences, the relation between type analysis and flow analysis, and methods for proving the corrrectness of analysis-based program transformations.