Department of Computer Science, Cornell University
SVM HeaderParse 0.2
Ithaca, NY 14850, USA
SVM HeaderParse 0.1
Intensional type analysis provides the ability to analyze abstracted types at run time. In this paper, we extend that ability to higherorder and kind-polymorphic type constructors. The resulting language is elegant and expressive. We show through examples how it extends the repertoire of polytypic denitions and the domain of valid types for those denitions.