Dependent coercions (1999)

by Z Luo, S Soloviev