Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Explores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.
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.
Covers primitive expressions, evaluation processes, function applications, types, and evaluation strategies in programming.
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Explores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.
