1729 search results - page 16 / 346 » Generic Haskell: Applications |
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
GRID
2005
Springer
14 years 2 months ago
2005
Springer
POPL
2005
ACM
14 years 9 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
JFP
2007
13 years 8 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...