On the semantics of nested datatypes

DOI10.1016/S0020-0190(01)00168-5MaRDI QIDQ1607121zbMATH OpenFDO

Authors C. E. Martin, Jeremy Gibbons

Publication date 25 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Generalised folds for nested datatypes
• Manufacturing datatypes

Cited in

(2)

• Parametricity for primitive nested types
• scientific article; zbMATH DE number 7471683 (Why is no real title available?)

This page was built for publication: On the semantics of nested datatypes

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