Theta

Programming Methodology Group, MIT

An object-oriented language that supports constrained parametric polymorphism, subtype polymorphism, and separate type and class hierarchies. To be used in Thor, a distributed object-oriented database.