Sciweavers

3 search results - page 1 / 1
» oopsla 1994
Sort
View
OOPSLA
1994
Springer
14 years 2 months ago
Typechecking and Modules for Multi-Methods
Craig Chambers, Gary T. Leavens
OOPSLA
1989
Springer
14 years 2 months ago
A Denotational Semantics of Inheritance and its Correctness
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
William R. Cook, Jens Palsberg