Concept
Subtyping
Books
Journey Statusmastered Tags
The Type system mechanism that defines and enforces when substitution is allowed between types.
The Type system mechanism that defines and enforces when substitution is allowed between types.
The Type system mechanism that defines and enforces when substitution is allowed between types.
The Type system mechanism that defines and enforces when substitution is allowed between types.