Manufacturing datatypes
From MaRDI portal
Publication:2757102
DOI10.1017/S095679680100404XzbMath0994.68045OpenAlexW2912259974MaRDI QIDQ2757102
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
Related Items (7)
A principled approach to programming with nested types in Haskell ⋮ Calculating datastructures ⋮ On constructing 2-3 trees ⋮ APLicative Programming with Naperian Functors ⋮ Derivable Type Classes ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ On the semantics of nested datatypes
This page was built for publication: Manufacturing datatypes