The following pages link to Manufacturing datatypes (Q2757102):
Displaying 6 items.
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- On the semantics of nested datatypes (Q1607121) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- APLicative Programming with Naperian Functors (Q2988659) (← links)
- On constructing 2-3 trees (Q4625161) (← links)
- Derivable Type Classes (Q4921511) (← links)