David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock. Toward Multi-Precision, Multi-Format Numerics. In Ignacio Laguna, Cindy Rubio-González, editors, 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019. pages 19-26, IEEE, 2019. [doi]
Abstract is missing.