Compiler-directed type reconstruction for polymorphic languages

Abstract

In tagless implementations of polymorphic languages, therun-time types of data objects may not be completely determinedat compile-time. With ML-like static type-checking,a static type template can be produced for each polymorphicfunction that may be instantiated at run-time according tothe types of its actual arguments. Still, as noted in [5], itmay not be possible to reconstruct the types of some objectsthat are hidden inside a closure. This creates problemsfor applications like...