Pages that link to "Item:Q4880524"
From MaRDI portal
The following pages link to Generic functional programming with types and relations (Q4880524):
Displaying 5 items.
- Programming from Galois connections (Q1931902) (← links)
- Incremental Computing with Abstract Data Structures (Q2798280) (← links)
- Derivable Type Classes (Q4921511) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
