Designing Actor SystemsCovers the principles of designing actor systems for reactive programming and explores practical examples like the Link Checker system.
Verifying Programs with StainlessExplores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
Safe Mutation in PracticeExplores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.
A Closer Look at ListsCovers list construction, methods, and implementations, including exercises and complexity analysis.
