Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Name collision in multiple classification hierarchies
on ECOOP '88 (European Conference on Object-Oriented Programming)
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Constraint technology for user-interface construction in ThingLab II
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An algebraic model of sybtypes in object-oriented languages (draft)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Object-Oriented Software Construction
Object-Oriented Software Construction
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |