A Denotational Semantics of Inheritance and its Correctness (1995)

by William Cook , Jens Palsberg
Citations:139 - 12 self