Purely Functional Priority Queue

Related lectures (24)

Page 2 of 3

Covers functional data structures and their relationships, implementations, and efficiency.

Explores parallel programming in Scala, functional operations on collections, and parallel map functions on arrays and trees.

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Explores heapsort, priority queues, and their operations, highlighting time complexity and practicality.

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.

Introduces Stainless, a verifier for Scala, emphasizing bug prevention and library access.

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Covers stacks, queues, and linked lists, emphasizing efficiency and dynamic structures.

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.