The JastAdd Extensible Java Compiler is a high quality Java compiler that is easy to extend
in order to build static analysis tools for Java, and to extend Java with new language …

Inheritance is well-known and accepted as a mechanism for reuse in object-oriented
languages. Unfortunately, due to the coarse granularity of inheritance, it may be difficult to …

Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc
polymorphism. Type classes have been shown to provide a type-safe solution to important …

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 …

Object-oriented programming relies on inter-object aliases to implement data structures and
other abstractions. Objects have mutable state, but it is when mutable state interacts with …

A primary difficulty when researching mobile entertainment is that of definition. It is
recognized that, as mobile entertainment is a social and commercial process as well as a …

A constrained type is a type that comes with a set of subty** constraints on variables
occurring in the type. Constrained type inference systems are a natural generalization of …

Parametric types and virtual types have recently been proposed as extensions to Java to
support genericity. In this paper we investigate the strengths and weaknesses of each. We …

Recent years have seen the development of several foundational models for statically typed
object-oriented programming. But despite their intuitive similarity, differences in the technical …

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