On the semantics of nested datatypes

DOI10.1016/S0020-0190(01)00168-5zbMath0996.68519MaRDI QIDQ1607121

Jeremy Gibbons, Clare E. Martin

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)

Related Items (2)

Unnamed Item ⋮ Parametricity for primitive nested types

Cites Work

• Generalised folds for nested datatypes
• Manufacturing datatypes
• Unnamed Item
• Unnamed Item

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