Lectures related to Verifying Programs with Stainless

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

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

Explores dictionaries, tuples, mutable objects, and variable-length arguments in Python.

Explores eventual consistency, actors in Scala, and the importance of suitable data structures for achieving consistency in distributed systems.

Covers the implementation of Conc-Trees in Scala for parallel programming.

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.