previous up next
Go backward to Subtyping of Function Types
Go up to Top
Go forward to Record Introduction Principle
RISC-Linz logo

The Copy Rule for Blocks

Does not apply to eagerly evaluated abstractions!


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next