@article{dinges-2025-binary, title={Binary search—think positive}, volume={35}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s0956796825000061}, DOI={10.1017/s0956796825000061}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={DINGES, ALEXANDER and HINZE, RALF}, year={2025} }