Lectures related to Functional Programming Principles

Functional Programming: Concepts and Implementation

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

Stainless Verification System Tutorial

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.

Functional Programming: Concepts and History

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

Introduction to Compiler Theory and Language Processing

Introduces compiler theory, language processing, and the essential concepts behind building compilers.

Strings in C: Initialization and Memory Management

Covers the representation and management of strings in C, highlighting key differences from other programming languages.

Effective Altruism: AI Safety and Governance

Covers effective altruism in AI safety, focusing on programming semantics and memory management.

Programming Concepts: Variables and Expressions

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

Introduction to Coq: Arithmetic Expressions and Evaluators

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

Python Programming: List Comprehensions and Higher Order Functions

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

Understanding Microcontrollers: Programming in C/Arduino

Covers the basics of programming microcontrollers using C language and Arduino platform.

Hoare Logic: Foundations and Applications

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Python Programming: Dictionaries and Classes

Introduces Python programming concepts, focusing on dictionaries and classes, including their definitions, usage, and practical examples.

Programming basics: introduction and algorithms

Introduces programming basics, covering Unix systems, Firefox, algorithms, and data structures.

Functional Reactive Programming

Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.

Functional Reactive Programming: Signals and Transformations

Explores functional reactive programming using signals to simplify state changes and event reactions in a more functional and clean approach.

Pointers in C: Understanding Their Utility and Applications

Covers the definition and applications of pointers in C programming, emphasizing their role in memory management and generic programming.

Python Programming: Data Structures and Functions

Covers advanced Python programming concepts, including data structures and functions.

Python Programming: Immutable and Mutable Objects

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.