Parasitic methods: an implementation of multi-methods for Java
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A lambda calculus of objects with self-inflicted extension
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multiple dispatch as dispatch on Tuples
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multi-method dispatching: a geometric approach with applications to string matching problems
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Towards partially evaluating reflection in Java
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
MultiJava: modular open classes and symmetric multiple dispatch for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Full integration of subtyping and if-expression
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Type-safe convariant specialization with generalized matching
Information and Computation - FOOL VII
Coercive subtyping for the calculus of constructions
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling data and objects: an algebraic view point
Theoretical aspects of computer science
Modular Statically Typed Multimethods
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Partial Semantics for Object Data Models with Static Binding
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Constructive Foundations for Featherweight Java
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
Modeling Data and Objects: An Algebraic View Point
Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000]
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science - Implementation and application of automata
Software—Practice & Experience - Research Articles
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Featherweight Java with multi-methods
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Expressive and modular predicate dispatch for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Featherweight Java with dynamic and static overloading
Science of Computer Programming
Translating Double Dispatch into Single Dispatch
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing statically typed object-oriented programming languages
ACM Computing Surveys (CSUR)
Metamodeling semantics of multiple inheritance
Science of Computer Programming
Delegation by object composition
Science of Computer Programming
A safe implementation of dynamic overloading in java-like languages
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Constrained wiki: the Wikiway to validating content
Advances in Human-Computer Interaction
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
UPSILON: Universal Programming System with Incomplete Lazy Object Notation
Fundamenta Informaticae
Abstraction over implementation structure with symmetrically encapsulated multimethods
Science of Computer Programming
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
| Hi-index | 0.00 |