DMCA

Refined typechecking with Stardust (2007)

Cached

Download Links

by Joshua Dunfield
Venue:In Workshop on Programming Languages Meets Program Verification (PLPV
Citations:15 - 6 self