8
$\begingroup$

What are some practical applications (existing or potential) for Martin Escardo's "Seemingly Impossible Functional Programs"?

For starters, here are a few from:

  • Alex Simpson’s Lazy functional algorithms for exact real functionals. Compute maximum value and integral of a real function, with real numbers represented as infinite sequences of digits.

  • Verification of real-number programs by checking infinitely many cases.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.