Records and VariantsIntroduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Solving Tasks with ThymioFocuses on programming with Thymio, solving problem-oriented tasks and assessing the robot's abilities.
Solving Type ConstraintsExplains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.