Typing algorithm in type theory with inheritance (1997)

by A Saı̈bi
Venue:In Proc. of POPL