Next:
The Relational Model
Up:
MATISSE: OPL Redesigned as Language
Previous:
Appendix
Technical Background
The Relational Model
Monoids
The Typed Polymorphic
-Calculus
Hassan Ait-Kaci
2001-10-22