Lectures related to Lazy Evaluation

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

Lazy Lists: Delayed Evaluation and Efficient Computation

Covers Lazy Lists, delaying computation for efficiency in combinatorial search.

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Functional Programming: Concepts and Implementation

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

Programming Models: Overview and Examples

Explores programming models for big data processing, including Spark's RDDs and optimizations.

Dataflow: Execution Models for Distributed Computing

Explores the data flow model for distributed computing using RDDs in Spark.

Safe Mutation in Practice

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

Functional Programming Basics in Scala

Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.

Programming Paradigms: Functional, OOP, Polymorphism

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Functional Decomposition: Pattern Matching

Covers functional decomposition with pattern matching in Scala to access heterogeneous data in a class hierarchy.

Big-step semantics: Defining arithmetic expressions and commands

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Correctness of Compilers: Part 2

Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.

Combinatorial Search: For-Expressions

Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.

Blocks and Lexical Scopes

Explores nested functions, blocks, visibility rules, and lexical scoping in Scala.

Elements of Programming

Covers primitive expressions, evaluation processes, function applications, types, and evaluation strategies in programming.

Stainless Verification System Tutorial

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

Introduction to Coq: Arithmetic Expressions and Evaluators

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Lazy Evaluation: Introduction and Examples

Covers lazy evaluation, memoization, interpreter implementation, code generation challenges, and potential extensions.

Modeling Prisoner's Dilemma: Naive vs. Optimal

Explores the modeling of the '100 prisoners' problem and compares naive and optimal approaches.