Lectures related to Functional Programming: Concepts and Implementation

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

Covers control structures, loops, and functions in C language, emphasizing the importance of local variables and avoiding global variables.

Introduces Python programming basics, covering data types, operators, variables, functions, and code tracing.

Covers pointers to strings, functions, and casting in C programming.

Covers namespaces and main arguments in C++, demonstrating their usage and importance.

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

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

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.