Generic and Indexed Programming
The EPSRC-funded <em>Generic and Indexed Programming</em> project will explore the interaction between <em>datatype-generic programming</em> (DGP) — programs parametrized by the shape of their data — and <em>indexed programming</em> (IP) — lightweight dependently-...
Main Authors: | Gibbons, J, Wang, M, Oliveira, B |
---|---|
Format: | Conference item |
Published: |
2007
|
Similar Items
-
Scala for generic programmers Comparing Haskell and Scala support for generic programming
by: Oliveira, B, et al.
Published: (2010) -
Datatype-generic programming
by: Gibbons, J
Published: (2007) -
Datatype−Generic Programming
by: Gibbons, J
Published: (2007) -
Patterns in Datatype−Generic Programming
by: Gibbons, J
Published: (2003) -
Generic and Indexed Programming
Published: (2012)