1 paper · 1 filter
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…