19 citations · 23 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
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…
cs.PL2013★ 2 cited
Proceedings Sixth Workshop on Intersection Types and Related Systems
Stéphane Graham-Lengrand, Luca Paolini
This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, a…