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-...
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
2007
|
| _version_ | 1826289672209301504 |
|---|---|
| author | Gibbons, J Wang, M Oliveira, B |
| author_facet | Gibbons, J Wang, M Oliveira, B |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | 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>. |
| first_indexed | 2024-03-07T02:32:27Z |
| format | Conference item |
| id | oxford-uuid:a7b3f6d7-fdd8-44a0-9024-f7d0e6574bf4 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:32:27Z |
| publishDate | 2007 |
| record_format | dspace |
| spelling | oxford-uuid:a7b3f6d7-fdd8-44a0-9024-f7d0e6574bf42022-03-27T02:56:22ZGeneric and Indexed ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a7b3f6d7-fdd8-44a0-9024-f7d0e6574bf4Department of Computer Science2007Gibbons, JWang, MOliveira, BThe 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>. |
| spellingShingle | Gibbons, J Wang, M Oliveira, B Generic and Indexed Programming |
| title | Generic and Indexed Programming |
| title_full | Generic and Indexed Programming |
| title_fullStr | Generic and Indexed Programming |
| title_full_unstemmed | Generic and Indexed Programming |
| title_short | Generic and Indexed Programming |
| title_sort | generic and indexed programming |
| work_keys_str_mv | AT gibbonsj genericandindexedprogramming AT wangm genericandindexedprogramming AT oliveirab genericandindexedprogramming |