439 search results - page 7 / 88 » Type invariants for Haskell |
IFL
2007
Springer
14 years 3 months ago
2007
Springer
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
Book
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes
Monads,...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
AAIP
2009
13 years 6 months ago
2009
Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...