Lazy computation with exact real numbers
From MaRDI portal
Publication:5234267
DOI10.1145/289423.289441zbMath1428.68098OpenAlexW2035664314MaRDI QIDQ5234267
Peter John Potts, Philipp Sünderhauf, Abbas Edalat
Publication date: 26 September 2019
Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/289423.289441
This page was built for publication: Lazy computation with exact real numbers