A Denotational Semantics of Inheritance and its Correctness (1995)

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