Datatype laws without signatures

DOI10.1017/S0960129500000852zbMATH Open0846.68069OpenAlexW2123574251MaRDI QIDQ4882491FDOQ4882491

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

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
• A theory for program and data type specification
• Specification of abstract data types
• Datatype-generic termination proofs

zbMATH Keywords

transformerdatatype

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data structures and program transformation
• Algebraic specification of data types: A synthetic approach
• 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)