research
∙
05/11/2021
Splitting recursion schemes into reversible and classical interacting threads
Given a simple recursive function, we show how to extract from it a reve...
research
∙
02/18/2021