Structural polymorphism

DOI10.1016/0304-3975(93)90057-ZzbMath0812.18007MaRDI QIDQ685400

Peter J. Freyd

Publication date: 17 October 1993

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

zbMATH Keywords

natural transformationsparametric polymorphismdata typesdinatural transformationsfunctorial polymorphismstructorsvariable types

Mathematics Subject Classification ID

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

Related Items (1)

An extension of system F with subtyping

This page was built for publication: Structural polymorphism