Functional Programming Principles

Related lectures (27)

Page 1 of 3

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

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

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

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

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

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

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

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

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

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