Combinatorial Search and For-Expressions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Higher-Order Functions Using Naive Substitutions

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

Subtyping and Generics in Scala

Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.

Functional Programming in Python

Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.

Finding Fixed Points: Iterative Methods for Convergence

Covers iterative methods for finding fixed points of functions, focusing on square root calculations and the power of functions as return values.

Encoding Recursion as Self-Application

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

Functional Programming: Concepts and History

Explores imperative programming limitations, theories without mutation, functional programming principles, and the history of functional languages.

Python Basics: Functions and Lists

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

Higher-Order Functions Using Environments

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