Next:
The Relational Model
Up:
MATISSE: OPL Redesigned as
Previous:
Appendix
Technical Background
Subsections
The Relational Model
Monoids
The Typed Polymorphic
-Calculus
Hassan Ait Kaci 2002-03-27