Lecture
Foundations of Scala: Modelling and Type Systems
Related lectures (60)
Type Systems: Preservation and Typing Rules
Covers preservation, substitution, weakening, and sequencing in type systems.
Dependent Types in Programming Languages
Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.
Types and Inductive Relations
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Compiler Extension Lab
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Type Inference
Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Type Checking and Reconstruction: Equations and Unification
Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.
Akka Typed Facilities
Covers Akka Typed Facilities for programming reactive systems, focusing on modeling protocols and implementing type-safe service discovery.
Object-Oriented Programming: Core Features Analysis
Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.
Type Inference: Hindley-Milner Overview
Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.
Object Layout: Single Inheritance
Covers object layout challenges in single inheritance scenarios, focusing on Java-like languages and method dispatch using virtual methods tables.