Publications

• Generic recursive lens combinators and their calculation laws. Ruifeng Xie, Zhenjiang Hu. Theoretical Computer Science, Volume 913, April 20 2022, Pages 113-137.