Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CORR
2008
Springer

favoriteEmaildiscussreport

93views Education» more CORR 2008»

A computer verified, monadic, functional implementation of the integral

13 years 4 months ago

A computer verified, monadic, functional implementation of the integral

Download map.disi.unige.it

We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the beginning of the realization of Bishop's vision to use constructive mathematics as a programming language for exact analysis.1

Russell O'Connor, Bas Spitters

Real-time Traffic

CORR 2008 | Education | Exact | Monadic Functional Implementation | Riemann Integral |

claim paper

Related Content

» A Language Prototyping Tool Based on Semantic Building Blocks

» Achieving Information Flow Security through Precise Control of Effects

» Monadic augment and generalised short cut fusion

» Structured Formal Development in Isabelle

» Reinventing Haskell Backtracking

» Using Automatic Case Splits and Efficient CNF Translation to Guide a SATsolver when Formal...

» Monad Transformers and Modular Interpreters

» Justifying Integrity Using a Virtual Machine Verifier

» The verified software repository a step towards the verifying compiler

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Russell O'Connor, Bas Spitters

Comments (0)