Foundations for MOBY Classes

MOBY is a statically typed, ML-like language that supports class-based object-oriented programming. Our design philosophy is to keep language features independent, but complementary. MOBY's support for class-based object-oriented programming is a prime example of this philosophy: classes provide support for object creation and inheritance, but we rely on the module system for information hiding and on object types for subtyping. The resulting design is both simple and expressive. In this paper, we give semantics to the object-oriented features of MOBY in the style of Harper and Stone. We formalize the surface language in an external language, called MICRO- MOBY, and define a type-preserving translation from MICROMOBY to an internal language, called MOC. We designed MICROMOBY to study the class and object constructs in MOBY. The internal language MOC is a new extensible-object calculus designed to provide semantic foundations for MICROMOBY. We present both the static and dynamic sema..