Covariant types

DOI10.1016/S0304-3975(97)00045-5zbMath0901.68115OpenAlexW2911865019MaRDI QIDQ1390953

C. Barry Jay

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00045-5

zbMATH Keywords

polymorphismparametricitycovariant typestransformation types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05)

Uses Software

• ML
• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial polymorphism
• A theory of type polymorphism in programming
• A semantics for shape
• Strong functors and monoidal monads
• Constructive natural deduction and its ‘ω-set’ interpretation
• Functorial ML
• A system of constructor classes: overloading and implicit higher-order polymorphism