54 search results - page 5 / 11 » Dependency-style generic Haskell |
165
click to vote
PLPV
2010
ACM
16 years 2 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
200
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
154
click to vote
ICFP
2004
ACM
16 years 5 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...
153
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
173
click to vote
OOPSLA
2004
Springer
15 years 11 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...