Type Checking in Compiler Frontend

Related lectures (32)

Page 2 of 4

Covers the core concepts of implicit conversion in Scala and its implementation in Scala code.

Covers the implementation details of tuples in Scala, including desugaring, lexical analysis, parsing, and code generation.

Covers type rules, program type checking, soundness, and proof techniques.

Covers the Amyli language, including abstract syntax, program representation, and operational semantics.

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Explores practical automated reasoning systems like TPTP, TSTP, and CASC, emphasizing the importance of consistency and future developments.

Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.

Covers the dynamics of a block connected to a spring, deriving equations of motion and solving for key time points.

Explores the rigorous bounds on effective properties of isotropic phases and laminated plates.

Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.