Michael Hanus. Improving Residuation in Declarative Programs. In José Júlio Alferes, Moa Johansson, editors, Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Volume 11372 of Lecture Notes in Computer Science, pages 82-97, Springer, 2019. [doi]
Abstract is missing.