This note is a brief survey and a discussion of recent ideas and open problems in the understanding of an important aspect of Type Theory: how terms may depend on types. This problem is at the core of the distinction between “ad hoc” and proper polymorphism and inspired the large amount of work on “parametricity”. Contents. 1 Types; 2 Parametricity; 3 Genericity; 4 Axiom C and Dinatural Transformations; 5 Axiom C and the Isomorphisms of Types; 6. Types as Parameters; 7. True type dependency or “ad hoc” polymorphism.
CITATION STYLE
Longo, G. (1993). Types as parameters. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 668 LNCS, pp. 658–670). Springer Verlag. https://doi.org/10.1007/3-540-56610-4_96
Mendeley helps you to discover research relevant for your work.