Programming Language Theory Concept

Subtype

Books

Journey Statusmastered Tags

A type $X$ that can be used wherever type $Y$ is expected - $X$ is \"more specific\" than $Y$ .

A type $X$ that can be used wherever type $Y$ is expected - $X$ is "more specific" than $Y$ .