Structural polymorphism

DOI10.1016/0304-3975(93)90057-ZMaRDI QIDQ685400zbMATH OpenFDO

Authors Peter J. Freyd

Publication date 17 October 1993

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

Full work available at URL https://doi.org/10.1016/0304-3975(93)90057-Z

zbMATH Keywords

data typesdinatural transformationsfunctorial polymorphismnatural transformationsparametric polymorphismstructorsvariable types

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Natural morphisms, dinatural morphisms (18A23) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract data types; algebraic specification (68Q65)

Review text

Bainbridge, Freyd, Scedrov and Scott have introduced functorial polymorphism to formalize parametricity in polymorphism. Here, the author goes on in more depth; he gives a generalization of the notion of a functor, developing a theory of ``structors. Structors are used to define a parametric polymorphism such that intrinsic definitions of the basic data types are allowed. The results of the paper show that functors are particular structors, and dinatural transformations between bifunctors are transformations between structors. Related to polymorphism, the variable types are interpreted as structors, and terms as transformation between structors.

Recommendations

• Functorial polymorphism
• scientific article; zbMATH DE number 4154448
• Bifibrational functorial semantics of parametric polymorphism
• Formal parametric polymorphism
• Types, abstraction, and parametric polymorphism, part 2

Cited in

(5)

• Structures definable in polymorphism
• An extension of system \(F\) with subtyping
• A logical aspect of parametric polymorphism
• Functorial polymorphism
• Core algebra revisited

This page was built for publication: Structural polymorphism

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