Programs that manipulate physical quantities typically represent these quantities as raw
numbers corresponding to the quantities' measurements in particular units (eg, a length …

We investigate the algorithmics of subty** in the presence of nominal inheritance and
variance for generic types, as found in Java 5, Scala 2.0, and the .NET 2.0 Intermediate …

Over the past 20 years, programmers have embraced dynamically-typed programming
languages. By now, they have also come to realize that programs in these languages lack …

Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism,
or generic classes. This will bring many benefits to Java programmers, not least because …

Parametric polymorphism enables code reuse and type safety. Underneath the uniform
interface exposed to programmers, however, its low level implementation has to cope with …

Many C programs assume the use of implicit domain-specific information. A common
example is units of measurement, where values can have both a standard C type and an …

LOOJ is an extension of Java obtained by adding bounded parametric polymorphism and
new type expressions ThisClass and ThisType, which are similar to MyType in LOOM …

We present MJ: a language for specifying general classes whose members are produced by
iterating over members of other classes. We call this technique “class morphing” or just …

Recently, language extensions have been proposed for Java and C# to support pattern-
based reflective declaration. These extensions introduce a disciplined form of meta …

We present MorphJ: a language for specifying general classes whose members are
produced by iterating over members of other classes. We call this technique “class …