Shrad: A Language for Sequential Real Number Computation.

Amin Farjudian

Browse the full CiE paper archive.