Generic programming within dependently typed programming (2003)
by
Thorsten Altenkirch
,
Conor Mcbride
| Venue: | In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl |
| Citations: | 45 - 7 self |
Document Versions
| Generic programming within dependently typed programming –Thorsten Altenkirch, Conor Mcbride — 2003 — In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl |
