Generic programming within dependently typed programming (2003)

by T Altenkirch, C McBride
Venue:In IFIP TC2/WG2.1 Working Conference on Generic Programming