previous up next
Go backward to Declaration Sequences
Go up to Top
Go forward to Eager Evaluation
RISC-Linz logo

Substitutions

Copy rule is device for understanding programs with abstractions by corresponding programs in the core language!


Author: Wolfgang Schreiner
Last Modification: April 2, 1998

previous up next