Elimination of Square Roots and Divisions by Partial Inlining

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]

@inproceedings{Neron14,
  title = {Elimination of Square Roots and Divisions by Partial Inlining},
  author = {Pierre Néron},
  year = {2014},
  doi = {10.1145/2643135.2643140},
  url = {http://doi.acm.org/10.1145/2643135.2643140},
  researchr = {https://researchr.org/publication/Neron14},
  cites = {0},
  citedby = {0},
  pages = {81-92},
  booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014},
  editor = {Olaf Chitil and Andy King and Olivier Danvy},
  publisher = {ACM},
  isbn = {978-1-4503-2947-7},
}