Manufacturing datatypes

DOI10.1017/S095679680100404XMaRDI QIDQ2757102zbMATH OpenOpenAlexFDO

Authors Ralf Hinze

Publication date 21 November 2001

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s095679680100404x

zbMATH Keywords

datatypes

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Generic functional programming with types and relations
• scientific article; zbMATH DE number 3911686
• Polytypic programming with ease
• Guarded recursive datatype constructors
• scientific article; zbMATH DE number 1375587

Cited in

(9)

• APLicative Programming with Naperian Functors
• On the semantics of nested datatypes
• Calculating datastructures
• Dependent vector types for data structuring in multirate Faust
• A principled approach to programming with nested types in Haskell
• Iteration and coiteration schemes for higher-order and nested datatypes
• Derivable type classes
• On constructing 2-3 trees
• On the Implementation of Construction Functions for Non-free Concrete Data Types

This page was built for publication: Manufacturing datatypes

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