previous up next
Go backward to Summary (Type Attributes)
Go up to Top
Go forward to Summary (Typing Rules II)
RISC-Linz logo

Summary (Typing Rules I)


Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next