Go backward to Another Example
Go up to Top
Go forward to Parametric Modules
Quantification and Modules
- Modules
- Abstract data type packaged with operators.
- Can import other (known) modules.
- Can be parameterized with (unknown) modules.
- Parametric modules
- Functions over existential types.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine