An introduction to different programming paradigms with a focus on the functional paradigm – lists, recursion, lazy-evaluation, higher-order functions, currying and lambda expressions. The course ...

Advanced study in models of computation, programming languages and algorithms with a specific focus on concurrent programming. The course includes models of computation, programming language paradigms ...

Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...