Generic programming within dependently typed programming (2003)

View PDF

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:63 - 8 self