Generic programming with dependent types (2006)

Cached

Download Links

by Thorsten Altenkirch , Conor Mcbride , Peter Morris
Venue:Spring School on Datatype Generic Programming
Citations:4 - 0 self