Neel Madhav

Learn More
We describe a general module language integrating abstract data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main extensions: subtyping, a form of object derived from ML structures, and inherit ante primitives. The language aims at supporting a range of programming styles, including(More)
  • 1