Sciweavers

669 search results - page 4 / 134
» Haskell program coverage
Sort
View
96
Voted
HASKELL
2008
ACM
15 years 2 months ago
Making monads first-class with template haskell
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...
Pericles S. Kariotis, Adam M. Procter, William L. ...
ICFP
2006
ACM
16 years 1 months ago
Context-parametric polykinded types
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...
Pablo Nogueira
78
Voted
ICFP
2003
ACM
16 years 1 months ago
Dependency-style generic Haskell
Andres Löh, Dave Clarke, Johan Jeuring
ICFP
1999
ACM
15 years 6 months ago
Calling Hell From Heaven and Heaven From Hell
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...
Sigbjorn Finne, Daan Leijen, Erik Meijer, Simon L....
102
Voted
CIE
2010
Springer
15 years 6 months ago
Haskell before Haskell: Curry's Contribution to Programming (1946-1950)
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...
Liesbeth De Mol, Maarten Bullynck, Martin Carl&eac...