Simple objects for Standard ML
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Bisimilarity for a first-order calculus of objects with subtyping
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An interpretation of objects and object types
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Evolution of object behavior using context relations
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Evolution of Object Behavior Using Context Relations
IEEE Transactions on Software Engineering
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Type inference with simple selftypes is NP-complete
Nordic Journal of Computing
PolyTOIL: A type-safe polymorphic object-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Programmer's Reduction Semantics for Classes and Mixins
Formal Syntax and Semantics of Java
ECOOP '95 Proceedings of the 9th 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
Compilation and equivalence of imperative objects
Journal of Functional Programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Delegation: a language facility for dynamic software adaptation
ACM SIGSOFT Software Engineering Notes
A mechanism for flexible dynamic trait replacement
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
A mechanized model of the theory of objects
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A class-based object calculus of dynamic binding: reduction and properties
SC'06 Proceedings of the 5th international conference on Software Composition
Dynamic access control in a concurrent object calculus
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
On flexible dynamic trait replacement for Java-like languages
Science of Computer Programming
Hi-index | 0.00 |