Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Manufacturing datatypes

From MaRDI portal
Publication:2757102
Jump to:navigation, search

DOI10.1017/S095679680100404XzbMath0994.68045OpenAlexW2912259974MaRDI QIDQ2757102

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)


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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2757102&oldid=15628459"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 3 February 2024, at 14:24.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki