Results 1 -
1 of
1
Coercive subtyping for the calculus of construction (extended abstract (2003)
by G Chen
| Venue: | In The 30th Annual SIGPLAN-SIGACT Symposium of Principles and Practice of Programming Language (POPL |
