Typing algorithm in type theory with inheritance (1997)

by A Sabi
Venue:In Proc. of the 24th Symp. on Principles of Programming Languages (POPL'97