Lectures related to Untitled | EPFL Graph Search

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

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

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Explores the importance of lubrication in reducing energy consumption and its economic impact over the next 15 years.