Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Explores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.
Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.
Addresses common mistakes with the bool type in C++, explaining its use for conditions and providing examples of correct usage.
Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.
