Why dependent types matter (2005)

Cached

Download Links

by Thorsten Altenkirch , Conor Mcbride , James Mckinna
Venue:In preparation, http://www.e-pig.org/downloads/ydtm.pdf
Citations:10 - 2 self