Lectures related to Functional Data Structures: Collections and Operations

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.

Focuses on designing a data structure for fast interval queries on a complete binary tree.

Introduces Python programming concepts, focusing on dictionaries and classes, including their definitions, usage, and practical examples.

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Covers the syntax, differences, constructors, operations, patterns, sorting, and complexity of lists in functional programming.