Covariant types

DOI10.1016/S0304-3975(97)00045-5MaRDI QIDQ1390953zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Coercions in a polymorphic type system
• The system \({\mathcal F}\) of variable types, fifteen years later
• Implicit coercions in type systems
• Functorial polymorphism
• An extension of system \(F\) with subtyping

Cites work

• scientific article; zbMATH DE number 426302 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• A semantics for shape
• A system of constructor classes: overloading and implicit higher-order polymorphism
• A theory of type polymorphism in programming
• Constructive natural deduction and its ‘ω-set’ interpretation
• Functorial ML
• Functorial polymorphism
• Strong functors and monoidal monads

Cited in

(1)

• scientific article; zbMATH DE number 1931755 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell
• ML

This page was built for publication: Covariant types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1390953)