next up previous contents
Next: The type system Up: The kernel language Previous: Monoid Comprehesion   Contents

CompiledExpression


Hassan Ait Kaci 2002-05-26