Lectures related to Untitled | EPFL Graph Search

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

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

Introduces Cartesian product and induction for proofs using integers and sets.

Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.

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

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.