Splitting recursion schemes into reversible and classical interacting threads

Armando B. Matos, Luca Paolini, Luca Roversi

Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pa…