54 search results - page 1 / 11 » Dependency-style generic Haskell |
HASKELL
2008
ACM
13 years 6 months ago
2008
ACM
AAIP
2009
13 years 2 months ago
2009
Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...
JFP
2010
13 years 3 months ago
2010
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haske...
DSL
2009
13 years 2 months ago
2009
ICFP
2006
ACM
14 years 5 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...