Concept
Nominal type system
Related lectures (30)
Thermodynamic Systems
Covers the characterization of thermodynamic systems, including types of systems, walls, state variables, and functions of state.
Subtyping and Type Calculus
Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Subtyping and Polymorphism
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Thermodynamics Principles: Enthalpy and Reactions
Explores thermodynamics principles, enthalpy, reactions, and Hess's law in chemical systems.
Steady-State Errors and System Response
Explains steady-state offset, system types, and integrator impact on stability.
Type Inference: Hindley-Milner Overview
Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.
Programming Language Security
Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.
Chemical Thermodynamics: State Functions and Enthalpy
Covers chemical thermodynamics, state functions, enthalpy, spontaneous processes, and limitations of the first law.
Featherweight Java: Core OO Features Modeling
Introduces Featherweight Java, a minimalistic model to represent core object-oriented features.