When do datatypes commute?

DOI10.1007/BFB0026992MaRDI QIDQ4362972zbMATH OpenFDO

Authors Paul F. Hoogendijk, Roland C. Backhouse

Publication date 17 March 1998

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

Full work available at URL https://pure.tue.nl/ws/files/1369779/200011399.pdf

zbMATH Keywords

polytypic programstheory of allegories

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1375587
• Polytypic programming with ease
• Polytypic data conversion programs
• Polytypic programming in Haskell
• Generic properties of datatypes.

Cited in

(2)

• Zippy Tabulations of Recursive Functions
• Final Dialgebras: From Categories to Allegories

This page was built for publication: When do datatypes commute?

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