Encoding Recursion as Self-Application

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 3 of 3

Avoiding Variable Capture

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

Recursive Functions: Methodology of Development + Debugging

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

Types in Lambda Calculus

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Higher-Order Functions Using Environments

Demonstrates a metacircular approach to interpreting higher-order functions efficiently using environments and first-class functions.

Polymorphism and Proofs

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

Combinatorial Search and For-Expressions

Explores combinatorial search and introduces for-expressions as a more intuitive way to manipulate lists in Scala.

Higher-Order Functions

Covers higher-order functions, function types, and anonymous functions in programming.

Recursion: Understanding Recursive Functions

Explores recursion, fixpoints, and procedures in depth, emphasizing understanding recursive functions.

Safe Mutation in Scala

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

Functions in C++: Basics and Recursion

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