Lambda-calculus, types and models
Lambda-calculus, types and models
Theoretical Computer Science
A Theory of Objects
Inheritance in concurrent objects
Formal methods for distributed processing
Subtyping and Matching for Mobile Objects
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Characterizing convergent terms in object calculi via intersection types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Semantic predicate types and approximation for class-based object oriented programming
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Hi-index | 0.00 |