Fully Reflexive Intensional Type Analysis in Type Erasure Semantics

Last modified: Mon Jul 31 18:59:29 2000 GMT.

Authors

Abstract

Compilers for polymorphic languages must support runtime type analysis over arbitrary 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 arbitrary types, into a system that can propagate types through all phases of compilation.

Published

In Proc. 2000 ACM SIGPLAN Types in Compilation (TIC '00), Montreal, Canada, September 2000.
Technical Report YALEU/DCS/TR-1197, Department of Computer Science, Yale University, June 2000.

colophon