Coercive subtyping for the calculus of constructions (0)

by G Chen
Venue:SIGPLAN Not