Purely Functional Priority QueueCovers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
Verifying Programs with StainlessExplores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
A Closer Look at ListsCovers list construction, methods, and implementations, including exercises and complexity analysis.
Functions and DataCovers the implementation of rational arithmetic using functions to encapsulate data structures.
Implementing CombinersCovers the implementation of combiners in parallel programming in Scala, including efficient combine methods and set data structures.
