50 search results - page 1 / 10 » haskell 2006 |
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
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...
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
HASKELL
2006
ACM
13 years 10 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...