Syntax and Typing Rules

Related lectures (31)

Page 1 of 4

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

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.

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

Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.

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

Covers preservation, substitution, weakening, and sequencing in type systems.

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

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

Explains pointers and constants in C programming, focusing on their definitions, usage, and implications for memory management.