Cook, William
-
DAIMI Report Series Nr. 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness - Articles
A Denotational Semantics af Inheritance and its Correctness
Resumé PDF (English) -
DAIMI Report Series Nr. 577 (2005): PB-577 A Virtual Class Calculus - Articles
A Virtual Class Calculus
Resumé PDF (English)