Lectures related to Recursive Functions: Substitution Interpreter

Functional Programming: Concepts and Implementation

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

Higher-Order Functions Using Naive Substitutions

Explores higher-order functions, environments, evaluation using substitution, and examples like twice factorial.

MIPS Assembly: Function Calls & Memory Management

Explores MIPS assembly language, covering function calls, memory management, and data structures, including recursive functions, programming constructs, arrays, and linked lists.

Encoding Recursion as Self-Application

Explores lambda calculus, higher-order functions, and recursive function encoding.

Functions: Reusability and Error Reduction

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

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

Safe Mutation in Practice

Explores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.

Python Programming: List Comprehensions and Higher Order Functions

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

Python Basics: Functions and Lists

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

Recursively Defined Functions

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

Function Evaluation: Basics

Explains the three main aspects of a function and its evaluation process.

Recursively Defined Functions

Introduces recursively defined functions and demonstrates how to compute values and prove properties using mathematical induction.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

Fibonacci Numbers: Recursion and Induction

Explores Fibonacci numbers, rabbit population growth, and recursively defined functions.

Functions in C++: Basics and Recursion

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

Recursive Functions: Methodology of Development + Debugging

Covers the methodology of development, recursion, and debugging in C++.

Total Functions: How and Why

Explores hash table efficiency, total functions in code modeling, and well-founded relations for recursive function termination.

Avoiding Variable Capture

Explores variable capture in higher-order functions and the importance of variable renaming.

Polymorphism and Proofs

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

Polymorphism in Coq: Data Structures and Functions

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.