Lectures related to List (abstract data type)

Covers lazy lists, infinite sequences, prime numbers, and list processing challenges.

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Delves into multilevel models, emphasizing nested data structures and intra-class correlation, and explores random-intercept and random-slope models.

Covers lambda functions in Java, focusing on sorting algorithms implementation.

Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.

Covers the manipulation of lists in Python, including creating, accessing, slicing, and list comprehension.