Dependent Types with Subtyping and Late-Bound Overloading.

Giuseppe Castagna Gang Chen Dependent Types with Subtyping and Late-Bound Overloading. 1-67 2001 168 Inf. Comput. 1 db/journals/iandc/iandc168.html#CastagnaC01