Intensional type analysis provides the ability to analyze abstracted types at run time. In this paper, we extend that ability to higher order and kind-polymorphic type constructors. The resulting language is elegant and expressive. We show through examples how it extends the repertoire of polytypic definitions and the domain of valid types for those definitions.
CITATION STYLE
Weirich, S. (2002). Higher-order intensional type analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2305, pp. 98–114). Springer Verlag. https://doi.org/10.1007/3-540-45927-8_8
Mendeley helps you to discover research relevant for your work.