Skip to main content

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