54 search results - page 4 / 11 » Dependency-style generic Haskell |
PPDP
2010
Springer
14 years 8 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
AFP
2008
Springer
15 years 4 months ago
2008
Springer
AC
2003
Springer
15 years 3 months ago
2003
Springer
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
115
click to vote
ICFP
2012
ACM
13 years 12 days ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...