previous up next
Go backward to Hidden Data Types
Go up to Top
Go forward to Concrete Stacks
RISC-Linz logo

Combining Universal and Existential Quantification

nil: forall a. List[a]
cons: forall a. (a x List[a]) -> List[a]
hd: forall a. List[a] -> a
tl: forall a. List[a] -> List[a]
Null: forall a. List[a] -> Bool

array: forall a. Int -> Array[a]
index: forall a. (Array[a] x Int) -> a
update: forall a. (Array[a] x Int x a) -> Unit

Author: Wolfgang Schreiner
Last Modification: May 27, 1998

previous up next