Pages that link to "Item:Q3649135"
From MaRDI portal
The following pages link to Libraries for Generic Programming in Haskell (Q3649135):
Displaying 5 items.
- A lean specification for gadts: System F with first-class equality proofs (Q656862) (← links)
- Generic programming with C++ concepts and Haskell type classes—a comparison (Q3070769) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- Generic Programming (Q5187876) (← links)
- (Q5292196) (← links)