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.
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