next up previous
Next: Functional abstraction Up: Array types Previous: First-class indexing

Indexing types



Hassan Ait-Kaci
2001-10-22