This repository contains the code samples and presentation slides from my talk at SPLASH/StrangeLoop/PyConf/RacketCon/EuroLISP 2025. It explores different approaches ...
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 ...
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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback