previous up next
Go backward to Type-Structure Abstractions
Go up to Top
Go forward to Record Structures
RISC-Linz logo

Classes and Variables

A class is a type-structure abstraction that evaluates lazily, and a variable declaration is a type-structure abstraction that evaluates eagerly.


Author: Wolfgang Schreiner
Last Modification: April 23, 1998

previous up next