Generic programming within dependently typed programming (2003)

Cached

Download Links

by Thorsten Altenkirch , Conor Mcbride
Venue:In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl
Citations:52 - 7 self