previous up next
Go backward to Record Types
Go up to Top
Go forward to Universal Quantification
RISC-Linz logo

Variant Types and Recursion


Author: Wolfgang Schreiner
Last Modification: May 27, 1998

previous up next