Generic programming with dependent types (2007)

by T Altenkirch, C McBride, P Morris
Venue:In DGP’07