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 polymorphic access, and a better treatment of type abbreviations. Objective ML allows for most features of object-oriented languages including multiple inheritance, methods returning self and binary methods as well as parametric classes. This demonstrates that objects can be added to strongly typed languages based on ML polymorphism.

. This paper presents a formal description of curves and surfaces that have evaluation algorithms using control points. The frame of the algebraic specification allows us to unify most points of view by using modularity, genericity and ordered sorts. An experimentation prototype based on a translation of this specification into a typed functional language, namely ML, is currently developed. Keywords. Free-form curves and surfaces, B'ezier curves, Splines, Triangular surfaces, Algebraic specifications, Functional programming. 1 Introduction The development of unifying theories of curves and surfaces models, such as urn models [1] or simplicial algorithms [5] allows mathematicians and designers to integrate a lot of models of curves, surfaces and even volumes --- we will say varieties --- into a single system. In order to do so, several authors suggest to build an object-oriented framework [10, 14]. In such an approach, the primary task is to identify the objects classes and the associ...