UP to PMG Home Page
Theta is a new object oriented programming language
under development by the
Programming Methodology group,
to be used in
Some of Theta's features are:
- Separate type and class hierarchies.
- Multiple super-types
- Single inheritance
- Constrained parametric polymorphism
- Subtype polymorphism
The Theta Reference Manual
is available online. A Postscript version
of the reference manual is available as well.