Simon Foster 0001, James Baxter. Automated Algebraic Reasoning for Collections and Local Variables with Lenses. In Uli Fahrenberg, Peter Jipsen, Michael Winter 0001, editors, Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Volume 12062 of Lecture Notes in Computer Science, pages 100-116, Springer, 2020. [doi]
Abstract is missing.