Do We Need Dependent Types? (2001)

Cached

Download Links

by Daniel Fridlender , Mia Indrika
Venue:JOURNAL OF FUNCTIONAL PROGRAMMING
Citations:14 - 1 self