Generic programming with dependent types (0)

by T Altenkirch, C McBride, P Morris
Venue:Datatype-Generic Programming