Pierre Néron. Elimination of Square Roots and Divisions by Partial Inlining. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 81-92, ACM, 2014. [doi]
Abstract is missing.