909 search results - page 17 / 182 » Generic Programming: An Introduction |
147
click to vote
ICFP
2012
ACM
13 years 2 months 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...
61
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
105
Voted
VAMOS
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
109
click to vote
ALIFE
2004
15 years 11 days ago
2004
The Avida digital evolution platform is a software tool used to perform experimental evolution research with self-replicating computer programs ("digital organisms"). Av...
119
Voted
PLPV
2010
ACM
15 years 9 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...