Pages that link to "Item:Q4880524"
From MaRDI portal
The following pages link to Generic functional programming with types and relations (Q4880524):
Displaying 15 items.
- High-level modelling for typed functional programming (Q832100) (← links)
- Datatype-generic termination proofs (Q1015386) (← links)
- Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany (Q1866506) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Programming from Galois connections (Q1931902) (← links)
- Manufacturing datatypes (Q2757102) (← links)
- Incremental Computing with Abstract Data Structures (Q2798280) (← links)
- Generic programming with C++ concepts and Haskell type classes—a comparison (Q3070769) (← links)
- Functional reactive types (Q4635639) (← links)
- (Q4816996) (← links)
- Derivable Type Classes (Q4921511) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Generic Programming (Q5187878) (← links)
- Logical Approaches to Computational Barriers (Q5898799) (← links)