Typed interpretations of extensible objects
ACM Transactions on Computational Logic (TOCL)
A Core Calculus of Classes and Mixins
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Subtyping and Matching for Mobile Objects
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Interpretations of Extensible Objects and Types
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
Hi-index | 0.00 |