On the semantics of nested datatypes

DOI10.1016/S0020-0190(01)00168-5zbMATH Open0996.68519MaRDI QIDQ1607121FDOQ1607121

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalised folds for nested datatypes
• Manufacturing datatypes

Cited In (2)

• Parametricity for primitive nested types
• Title not available (Why is that?)

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)