439 search results - page 19 / 88 » Type invariants for Haskell |
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CAIP
2009
Springer
14 years 29 days ago
2009
Springer
A new type of affine moment invariants for color images is proposed in this paper. The traditional affine moment invariants can be computed on each color channel separately, yet wh...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...