Datatype laws without signatures

DOI10.1017/S0960129500000852MaRDI QIDQ4882491zbMATHOpenAlexFDO

Authors Maarten M. Fokkinga

Publication date 16 June 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500000852

zbMATH Keywords

transformerdatatype

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3854400
• scientific article; zbMATH DE number 827943
• Parameter-free polymorphic types
• Parameter-preserving data type specifications
• Data type specification, parameterization and the power of specification techniques
• Abstractions of data types
• scientific article; zbMATH DE number 4088907
• A theory for program and data type specification
• Specification of abstract data types
• Datatype-generic termination proofs

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• Algebraic specification of data types: A synthetic approach
• Data structures and program transformation
• On the algebra of order

Cited in

(1)

• On the construction of free algebras for equational systems

This page was built for publication: Datatype laws without signatures

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