669 search results - page 4 / 134 » Haskell program coverage |
HASKELL
2008
ACM
13 years 9 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
ICFP
2006
ACM
14 years 8 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 8 months ago
2003
ACM
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
CIE
2010
Springer
14 years 1 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...