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

Concept

Type signature

Related lectures (14)

Introduces assemblies, documentation, and Speckle for building design collaboration.

Covers the basics of stereotomy, including geometric and family generics, live exercises, and hybrid component creation.

Explores proving transitivity in algorithmic subtyping through induction and subtype relationships.

Covers operator overloading in C++, including its rules, risks, and practical examples.

Covers internal operator overloading in C++, with examples and guidelines for efficient coding practices.

Covers method overloading in Java, demonstrating its practical application.

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

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Covers mathematical functions, including logarithmic, exponential, and trigonometric functions, as well as limits and function types.

Covers higher-order functions, function types, and anonymous functions in programming.

Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.

Covers the importance and practical applications of operator overloading in C++, using examples with complex numbers.

Covers control structures, loops, and functions in C language, emphasizing the importance of local variables and avoiding global variables.

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.