Typing algorithm in type theory with inheritance (1997)

by Amokrane Saibi
Venue:In The 24th Annual ACM SIGPLAN - SIGACT Symposium on Principle of Programming Language (POPL