Programming Paradigms

This is a semi-compulsory course at the Czech Technical University, taught jointly with Petr Maj, Jan Janousek and others.

The course teaches the basics of functional and logic programming. Apart from these we also teach lambda-calculus, to explain the foundations of functional programming, the history of programming languages, their implementation, Turing Completeness, and so on.

Students are advised to visit the course websites CZ/EN. For our in-house lambda-calculus evaluator, check out Lambdulus.