A lambda calculus of objects with self-inflicted extension
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Combining subsumption and binary methods: an object calculus with views
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Information and Computation - FOOL V
UPSILON: universal programming system with incomplete lazy object notation
Fundamenta Informaticae
Fickle: Dynamic Object Re-classification
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Bounded Polymorphism for Extensible Objects
TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
FeatherTrait: A modest extension of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Calculi, types and applications
Theoretical Computer Science
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Fundamenta Informaticae
A Subtyping for Extensible, Incomplete Objects
Fundamenta Informaticae
Hi-index | 0.00 |