previous up next
Go backward to Soundness of the Typing Rules
Go up to Top
Go forward to Lazy Evaluation and Copy Rule
RISC-Linz logo

Soundness Theorem

The typing rules of the extended core language are sound.


Author: Wolfgang Schreiner
Last Modification: April 2, 1998

previous up next