Typing Algorithm in Type Theory with Inheritance (1997)

Cached

Download Links

by Amokrane Saïbi
Venue:Proc of POPL'97
Citations:41 - 0 self