179 search results - page 2 / 36 » Libraries for Generic Programming in Haskell |
PLDI
2005
ACM
13 years 10 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
HASKELL
2007
ACM
13 years 8 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
CORR
2012
Springer
12 years 15 days ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...