Coercive Subtyping (1999)

by Zhaohui Luo
Venue:J. Logic and Computation