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-...

Descripción completa

Detalles Bibliográficos
Autores principales: Gibbons, J, Wang, M, Oliveira, B
Formato: Conference item
Publicado: 2007
Descripción
Sumario: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-typed programming, with programs indexed by type-level representations of properties. Integrating these two notions will provide new ways for programmers to <em>capture abstractions</em>.