Towards an API for the real numbers | Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation - discu.eu

Hacker News

Towards an API for the Real Numbers Hans https://dl.acm.org/doi/pdf/10.1145/3385412.3386037 7 comments 13/2/2025

Linking pages

Toward an API for the real numbers | the morning paper https://blog.acolyer.org/2020/10/02/toward-an-api-for-the-real-numbers/ 100 comments
Sketchy Exact Reals from Interval Arithmetic | Hey There Buddo! https://www.philipzucker.com/Reals_from_intervals/ 0 comments
Small-data computing: correct calculator arithmetic: Communications of the ACM: Vol 60, No 8 https://dl.acm.org/doi/10.1145/2911981 0 comments

Linked pages

Related searches:

Search whole site: site:doi.org

Search title: Towards an API for the real numbers | Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

See how to search.

Submit link to: