Typing algorithm in type theory with inheritance (1997)

by Amokrane Saibi
Venue:In Principles of Programming Languages, POPL 1997 proceedings