Covariant types
From MaRDI portal
Publication:1390953
DOI10.1016/S0304-3975(97)00045-5zbMath0901.68115OpenAlexW2911865019MaRDI QIDQ1390953
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
Uses Software
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