Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Type class

Related lectures (32)

Introduction to Types and Inductive Relations

Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.

Object-Oriented Programming in C++

Covers constructors in C++, attribute initialization, syntax, and automatic invocation during object declaration.

Monodromy: Action and Classes

Covers the concept of monodromy action in the context of coverings and explores transitivity and unique classes.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Untitled

Operator Overloading in C++Log in to Mediaspace to watch this video

Explores operator overloading in C++, emphasizing class manipulation and code compilation.

Subtyping and Generics in Scala Log in to Mediaspace to watch this video

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

Polymorphic Types in Amy Log in to Mediaspace to watch this video

Covers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Pointers: Strings, Functions, Casting Log in to Mediaspace to watch this video

Covers pointers to strings, functions, and casting in C programming.

Custom operators Log in to Mediaspace to watch this video

Explores the implementation of custom operators in a programming language, including syntax examples, precedence levels, parsing stages, and solutions like function overloading.

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

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