previous up next
Go backward to Typing Rules
Go up to Top
Go forward to Interpretation
RISC-Linz logo

Linear Type Annotation

See Schmidt, FIgure 2.2.


Author: Wolfgang Schreiner
Last Modification: April 2, 1998

previous up next