Types in Compilation (TIC97)
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.