208 search results - page 2 / 42 » Generic ontology of datatypes |
CIE
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
CORR
2012
Springer
12 years 16 days ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
AC
2003
Springer
13 years 10 months ago
2003
Springer
TPHOL
1992
IEEE
13 years 9 months ago
1992
IEEE
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...