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.