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.



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.