1 paper
Claudio Grandi, Dariush Moshiri, Luca Roversi
Yarel is a core reversible programming language that implements a class of permutations, defined recursively, which are primitive recursive complete. The current release of Yarel s…