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 |
---|---|
Formato: | Conference item |
Publicado em: |
2007
|
Registos relacionados
-
Scala for generic programmers Comparing Haskell and Scala support for generic programming
Por: Oliveira, B, et al.
Publicado em: (2010) -
Datatype-generic programming
Por: Gibbons, J
Publicado em: (2007) -
Datatype−Generic Programming
Por: Gibbons, J
Publicado em: (2007) -
Patterns in Datatype−Generic Programming
Por: Gibbons, J
Publicado em: (2003) -
Generic and Indexed Programming
Publicado em: (2012)