Conference item icon

Conference item

Generic and Indexed Programming

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.

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Host title:
Trends in Functional Programming
Publication date:
2007-01-01
UUID:
uuid:a7b3f6d7-fdd8-44a0-9024-f7d0e6574bf4
Local pid:
cs:1435
Deposit date:
2015-03-12

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP