Parametric polymorphism

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

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 3 of 3

Type Classes: Basics and Implementation

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

Deep Copy in Java

Covers deep copy in Java, including polymorphic copy and the clone method.

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Subtyping and Generics in Scala

Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.

Parameterized Types: Implementation and Inheritance Principles

Covers parameterized types, their implementation, advantages, weaknesses, and the principles of inheritance in programming.

Polymorphism: Cons-Lists

Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Programming Concepts Review and Study Guide

Covers a review of programming concepts and provides guidance on effective study methods and practices.

Introduction to Object-Oriented Programming

Covers the basics of object-oriented programming in C++, including encapsulation, abstraction, and the importance of grouping data and methods.

Object Copying and Encapsulation

Explores object copying, encapsulation, and the importance of defensive copying in Java.