Ad hoc polymorphism

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 2 of 4

Virtual Methods in C++

Covers polymorphism in C++ through virtual methods, explaining method resolution and the interaction with constructors.

Type Classes: Basics and Implementation

Covers the basics of type classes in Scala, implementation examples, and advantages over class extension.

Pointers and Polymorphism in C++

Covers pointers and polymorphism in C++, emphasizing virtual methods and object ownership challenges.

Object-Oriented Programming: Polymorphism in C++

Explores polymorphism in C++ through character interactions and dynamic link resolution.

Polymorphism in Object-Oriented Programming: Inclusion Mechanism

Covers polymorphism in object-oriented programming, focusing on inclusion polymorphism and its implementation through class hierarchies and virtual methods.

Inheritance in Object-Oriented Programming: Concepts and Implementation

Covers inheritance in object-oriented programming, focusing on class hierarchies and practical implementation examples.

Types and Inductive Relations

Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.

Polymorphism in Coq: Data Structures and Functions

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Operator Overloading in C++

Explores operator overloading in C++, emphasizing internal and external overloads and their application to complex numbers.

Programming Paradigms: Functional, OOP, Polymorphism

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.