Paul Tarau. A Family of Unification-Oblivious Program Transformations and Their Applications. In José F. Morales, Dominic A. Orchard, editors, Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings. Volume 12548 of Lecture Notes in Computer Science, pages 3-19, Springer, 2021. [doi]
Abstract is missing.