Generic and Indexed Programming
<i>Generic programming</i> is about making programs more widely applicable via exotic kinds of parametrization—not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. <i>...
Eará dahkkit: | Gibbons, J |
---|---|
Materiálatiipa: | Conference item |
Almmustuhtton: |
Springer
2012
|
Geahča maid
-
Generic and Indexed Programming
Dahkki: Gibbons, J, et al.
Almmustuhtton: (2007) -
Generic Programming for Indexed Datatypes
Dahkki: aes, J, et al.
Almmustuhtton: (2011) -
Generic programming with indexed functors
Dahkki: Löh, A, et al.
Almmustuhtton: (2011) -
Generic programming for indexed datatypes
Dahkki: aes, J, et al.
Almmustuhtton: (2011) -
Generic Generic Programming
Dahkki: aes, J, et al.
Almmustuhtton: (2014)