Abstract
Abstract : Compilers for polymorphic languages must support runtime type analysis over arbitrary source language types for coding applications like garbage collection, dynamic linking, pickling, etc. On the other hand, compilers are increasingly being geared to generate type-safe object code. Therefore, it is important to support runtime type analysis in a framework that generates type correct object code. In this paper we show how to integrate runtime type analysis over all types of a higher order typed source language, including quantified types, into a system that can propagate type information through all compilation phases.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have