previous up next
Go backward to Extension of Subtyping
Go up to Top
Go forward to The Copy Rule for Blocks
RISC-Linz logo

Subtyping of Function Types

Solution to method redefinition problem

OO typing systems still topic of research!

Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next