Lectures related to Recursion | EPFL Graph Search

Safe Mutation in Scala

Explores safe mutation in Scala, emphasizing the management of mutable state and its significance in interactions, modeling, and implementation efficiency.

Records and Variants

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

Functions in C++: Basics and Recursion

Covers the basics of functions in C++, including recursion and memory organization.

Turing Machines: Recursive Languages

Covers Turing machines, recursive languages, undecidability, and infinite executions in computational theory.

Von Neumann Extractor: Optimal Binary Extraction Procedure

Covers the von Neumann Extractor, rate computation, and extraction rates.

Recursively Defined Functions

Introduces recursively defined functions, showcasing examples like the Fibonacci numbers.

Lambda Calculus and Type Safety: An Overview

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