An efficient implementation of SELF, a dynamically-typed object-oriented language based on prototypes

Fast static analysis of C++ virtual function calls

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming

Representation and Traversal of Large Clabject Models

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems

Bytecodes meet combinators: invokedynamic on the JVM

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages

Optimizing dynamic dispatch with fine-grained state tracking

Proceedings of the 6th symposium on Dynamic languages

TypeCastor: demystify dynamic typing of JavaScript applications

Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers