Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
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 in statically typed languages, using algorithms to assign types to program expressions accurately.
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.
Covers Lorentz-Minkowski spacetime, speed of light interpretation, isometries, and special relativity principles.
