Positively Dependent Types (2008)

by Daniel R. Licata , Robert Harper
Venue:SUBMITTED TO PLPV ’09
Citations:4 - 0 self