AAIP
2009
14 years 1 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...
AC
2003
Springer
14 years 8 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
OOPSLA
2004
Springer
14 years 9 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
MPC
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
ICFP
2004
ACM
15 years 3 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...
ICFP
2005
ACM
15 years 3 months ago
2005
ACM
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
ICFP
2006
ACM
15 years 3 months ago
2006
ACM