Lectures related to Safe Mutation in Scala

Covers tail recursion, optimizing functions in Scala for iterative processes and providing examples like tail-recursive factorial.

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

Covers the fundamental concepts of C++ programming, focusing on structures, typedef, and data processing.

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Explains two-phase construction for arrays, hash tables, and search trees in parallel.

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.

Explores lambda calculus, higher-order functions, and recursive function encoding.

Discusses advanced types in C, focusing on unions, bit fields, and their associated modifiers and operators.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.