A Denotational Semantics of Inheritance and its Correctness (1995)

by William Cook , Jens Palsberg
Citations:133 - 10 self