Subtyping and Type Calculus

Related lectures (32)

Page 2 of 4

Covers minimum, maximum, infimum, and supremum concepts in real numbers with examples and proofs.

Covers lattices, abstract interpretation, fixpoint analysis, Hoare logic, and partial orders with extreme elements.

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

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

Covers the properties of real numbers, including bounds, density, and absolute value.

Covers the concept of supremum in real numbers and its properties as the least upper bound of a set.

Introduces terms, abstractions, applications, and values in the lambda calculus.

Explores lambda calculus, higher-order functions, and recursive function encoding.

Delves into Lambda Calculus proofs, emphasizing structural induction and variable manipulation.

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.