1 paper
Andrej Bauer, Sewon Park, Alex Simpson
We introduce Clerical, a programming language for exact real-number computation that combines first-order imperative-style programming with a limit operator for computation of real…