A lambda calculus of objects with self-inflicted extension
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Representing Java classes in a typed intermediate language
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Featherweight Java: a minimal core calculus for Java and GJ
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An efficient class and object encoding
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Computation - FOOL V
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Type-preserving compilation of Featherweight Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Typed interpretations of extensible objects
ACM Transactions on Computational Logic (TOCL)
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Core Calculus of Classes and Mixins
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Extensible objects without labels
ACM Transactions on Programming Languages and Systems (TOPLAS)
Alias Types and Effects for "Environment-aware" Computations
Fundamenta Informaticae
Alias Types and Effects for "Environment-aware" Computations
Fundamenta Informaticae
Hi-index | 0.00 |