909 search results - page 17 / 182 » Generic Programming: An Introduction |
123
click to vote
ICFP
2012
ACM
13 years 25 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...
BIRTHDAY
2006
Springer
15 years 2 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 ...
86
Voted
VAMOS
2008
Springer
14 years 12 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...
ALIFE
2004
14 years 10 months 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...
108
click to vote
PLPV
2010
ACM
15 years 7 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...