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