Generic and Indexed Programming
Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira
Abstract
The EPSRC-funded Generic and Indexed Programming project will explore the interaction between datatype-generic programming (DGP) — programs parametrized by the shape of their data — and indexed programming (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 capture abstractions.
Book Title
Trends in Functional Programming
Editor
Marco Morazan
Year
2007