Subtype Polymorphism

Subtyping

Subtyping is a form of type polymorphism in which a subtype is related to a supertype by substitutability, allowing program elements written for the supertype to also operate on the subtype. It is commonly used in object-oriented programming and functional programming languages, and is related to the linguistic notions of hyponymy and holonymy as well as bounded quantification in mathematical logic.

1 courses cover this concept

CS 61B: Data Structures

UC Berkeley

Fall 2022

CS 61B focuses on software efficiency from design and runtime perspectives. It covers object-oriented programming with Java, teaching data structures and various programming concepts. The course promotes hands-on learning with optional assignments.

No concepts data

+ 55 more concepts