A comprehensive introduction to type systems and programming languages. A type system
is a syntactic method for automatically checking the absence of certain erroneous behaviors …

We present MultiJava, a backward-compatible extension to Java supporting open classes
and symmetric multiple dispatch. Open classes allow one to add to the set of methods that …

Multiple dispatching provides increased expressive power over single dispatching by
guiding method lookup using the values of all arguments instead of only the receiver …

Giving types to binary methods causes significant problems for object‐oriented language
designers and programmers. This paper offers a comprehensive description of the problems …

The concept of an object-oriented database programming language (OODBPL) is appealing
because it has the potential of combining the advantages of object orientation and database …

Predicate dispatching generalizes previous method dispatch mechanisms by permitting
arbitrary predicates to control method applicability and by using logical implication between …

We have designed and implemented an optimizing source-to-source C++ compiler that
reduces the frequency of virtual function calls. Our prototype implementation demonstrates …

Predicate classes are a new linguistic construct designed to complement normal classes in
object-oriented languages. Like a normal class, a predicate class has a set of superclasses …

A polymorphic, constraint-based type inference algorithm for an object-oriented language is
defined. A generalized form of type, polymorphic recursively constrained types, are inferred …

MultiJava is a conservative extension of the Java programming language that adds
symmetric multiple dispatch and open classes. Among other benefits, multiple dispatch …