Lazy EvaluationExplores lazy evaluation in functional programming, focusing on Scala's implementation of lazy lists.
Safe Mutation in PracticeExplores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.
Compiler Extension LabCovers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Purely Functional Priority QueueCovers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
