Functional Programming: Concepts and History

Related lectures (30)

Page 1 of 3

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

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

Covers the principles and benefits of functional programming, emphasizing immutable data and functions.

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

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

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

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

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

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

Explores prefix, infix, and postfix notations in expressions and their role in code generation.