Login to filter by course Login to filter by course Reset
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
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 syntax and typing rules in programming languages, discussing aliasing, mutability, and store locations.
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Covers the simple implementation of Signals and Vars in functional reactive programming, including dependency maintenance and implicit function types.
Covers Lorentz-Minkowski spacetime, speed of light interpretation, isometries, and special relativity principles.
Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
