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-...
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
2007
|