Lectures related to Polymorphism and Proofs

Introduces Python basics, functions, lists, and lambda functions for concise coding.

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Covers the implementation of a parallel merge sort algorithm in Scala, comparing its performance with quicksort.

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

Explores hashing techniques like static, extendible, and linear hashing, along with sorting methods such as external merge sort and B+ trees.

Explores the Merge Sort algorithm, applying the Divide and Conquer approach to sorting arrays efficiently.