Reversible Functional Array Programming
2021 ◽
pp. 45-63