Type Checking Lab

Related lectures (32)

Page 2 of 4

Covers multithreading, code generation, and type checking in compiler implementation.

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Covers Amyli, a tiny functional language, type rules, and soundness.

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

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