The Boost Graph Library (BGL) is the first C++ library to apply the principles of generic
programming to the construction of the advanced data structures and algorithms used in …

The area of coalgebra has emerged within theoretical computer science with a unifying
claim: to be the mathematics of computational dynamics. It combines ideas from the theory of …

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 …

Pizza is a strict superset of Java that incorporates three ideas from the academic community:
parametric polymorphism, higher-order functions, and algebraic data types. Pizza is defined …

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 …

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 …

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 co-algebraic perspective on objects and classes in object-oriented programming is
elaborated: classes are described as co-algebras, which may occur as models …

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 …

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 …