Objective ML is a small practical extension to ML with objects and top level classes. It is fully
compatible with ML; its type system is based on ML polymorphism, record types with …

Module and class systems have evolved to meet the demand for reuseable software
components. Considerable effort has been invested in develo** new module and class …

Objective ML is a small practical extension of ML with objects and toplevel classes. It is fully
compatible with ML; its type system is based on ML polymorphism, record types with …

A major problem for writing extensible software arises when recursively defined datatypes
and operations on these types have to be extended simultaneously without modifying …

The ML family of strict functional languages, which includes F#, OCaml, and Standard ML,
evolved from the Meta Language of the LCF theorem proving system developed by Robin …

We present a new predicative and decidable type system, called ML≤, suitable for
languages that integrate functional programming and parametric polymorphism in the …

Typical class-based languages, such as C++ and JAVA, provide complex class mechanisms
but only weak module systems. In fact, classes in these languages incorporate many of the …

The increasing popularity of component-based programming tools offer a big opportunity to
designers of advanced programming languages, such as Haskell. If we can package our …

We present language mechanisms for polymorphic, extensible records and their exact dual,
polymorphic sums with extensible first-class cases. These features make it possible to easily …

Type dispatch constructs are an important feature of many programming languages.
Scheme has predicates for testing the runtime type of a value. Java has a class cast …