2 citations · 2 across the 2 of their papers we have counts for
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…