Constructing polymorphic programs with quotient types

DOI10.1007/978-3-540-27764-4_2MaRDI QIDQ5313096zbMATH OpenOpenAlexFDO

Authors Michael Barry Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Generic properties of datatypes.
• Parametric polymorphism and operational equivalence
• Polytypic programming with ease (Extended abstract)
• scientific article; zbMATH DE number 1231605
• Algorithm of construction of a type and its realization in the language W

Cited in

(6)

• Containers: Constructing strictly positive types
• Data types with symmetries and polynomial functors over groupoids
• Quotients of bounded natural functors
• Quotients of Bounded Natural Functors
• scientific article; zbMATH DE number 7649955 (Why is no real title available?)
• Data types with symmetries via action containers

This page was built for publication: Constructing polymorphic programs with quotient types

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