Lectures related to Unfolding recursive functions in Stainless

Covers the implementation of recursive functions using substitutions and environments, showcasing the ability to execute computable functions.

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.

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

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

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.

Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.