Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

A computer-verified monadic functional implementation of the integral

O'Connor, R.
Spitters, B.

Publication date

January 2010

DOI

10.1016/j.tcs.2010.05.031

Publisher

Elsevier BV

Abstract

Contains fulltext : 84382.pdf (preprint version ) (Open Access) Contains fulltext : 84382.pdf (publisher's version ) (Closed access

Extracted data

Related items

From probability monads to commutative effectuses

Jacobs, Bart
Jacobs, B.P.F.

January 2018

Contains fulltext : 182000pos.pdf (Author’s version postprint ) (Open Access) ...

Autarkic computations in formal proofs

Barendregt, H.P.
Barendsen, E.

January 2002

Contains fulltext : 17263.pdf (preprint version ) (Open Access

The Expectation Monad in Quantum Foundations

Jacobs, B.
Mandemaker, J.

January 2012

Contains fulltext : 103806.pdf (publisher's version ) (Open Access

A computer-verified monadic functional implementation of the integral

O’Connor, Russell
Spitters, Bas

August 2010

AbstractWe provide a computer-verified exact monadic functional implementation of the Riemann integr...

Dijkstra and Hoare monads in monadic computation

Jacobs, B.

January 2015

Contains fulltext : 149048.pdf (preprint version ) (Open Access

Dijkstra Monads in Monadic Computation

Jacobs, B.

January 2014

Contains fulltext : 129945.pdf (author's version ) (Closed access

A magnetic double integral

Broadhurst, David
Zudilin, V.

January 2019

Contains fulltext : 205606.pdf (publisher's version ) (Open Access

An algorithm for computing an integral basis in an algebraic function field

Hoeij, M.H.F. van

January 1994

Contains fulltext : 223629.pdf (Author’s version preprint ) (Closed access) ...

The implementation of functional languages on parallel machines with distributed memory

Kesseler, M.H.G.

January 1996

Contains fulltext : mmubn000001_220469350.pdf (publisher's version ) (Open Access)...

Effectuses from Monads

Jacobs, B.

January 2016

Contains fulltext : 161280.pdf (publisher's version ) (Open Access

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Functional techniques in concurrency

Massink, M.

January 1996

Contains fulltext : mmubn000001_216582245.pdf (publisher's version ) (Open Access)...

Integrals and Valuations

Coquand, Thierry
Spitters, Bas

January 2009

Contains fulltext : 76076.pdf (preprint version ) (Open Access

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Functional programs as executable specifications

Koopman, P.W.M.

January 1990

Contains fulltext : mmubn000001_114677735.pdf (publisher's version ) (Open Access)...

From probability monads to commutative effectuses

Jacobs, Bart
Jacobs, B.P.F.

January 2018

Contains fulltext : 182000pos.pdf (Author’s version postprint ) (Open Access) ...

Autarkic computations in formal proofs

Barendregt, H.P.
Barendsen, E.

January 2002

Contains fulltext : 17263.pdf (preprint version ) (Open Access

The Expectation Monad in Quantum Foundations

Jacobs, B.
Mandemaker, J.

January 2012

Contains fulltext : 103806.pdf (publisher's version ) (Open Access

A computer-verified monadic functional implementation of the integral

O’Connor, Russell
Spitters, Bas

August 2010

AbstractWe provide a computer-verified exact monadic functional implementation of the Riemann integr...

Dijkstra and Hoare monads in monadic computation

Jacobs, B.

January 2015

Contains fulltext : 149048.pdf (preprint version ) (Open Access

Dijkstra Monads in Monadic Computation

Jacobs, B.

January 2014

Contains fulltext : 129945.pdf (author's version ) (Closed access

A magnetic double integral

Broadhurst, David
Zudilin, V.

January 2019

Contains fulltext : 205606.pdf (publisher's version ) (Open Access

An algorithm for computing an integral basis in an algebraic function field

Hoeij, M.H.F. van

January 1994

Contains fulltext : 223629.pdf (Author’s version preprint ) (Closed access) ...

The implementation of functional languages on parallel machines with distributed memory

Kesseler, M.H.G.

January 1996

Contains fulltext : mmubn000001_220469350.pdf (publisher's version ) (Open Access)...

Effectuses from Monads

Jacobs, B.

January 2016

Contains fulltext : 161280.pdf (publisher's version ) (Open Access

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

Contains fulltext : 107662.pdf (author's version ) (Open Access

Functional techniques in concurrency

Massink, M.

January 1996

Contains fulltext : mmubn000001_216582245.pdf (publisher's version ) (Open Access)...

Integrals and Valuations

Coquand, Thierry
Spitters, Bas

January 2009

Contains fulltext : 76076.pdf (preprint version ) (Open Access

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Functional programs as executable specifications

Koopman, P.W.M.

January 1990

Contains fulltext : mmubn000001_114677735.pdf (publisher's version ) (Open Access)...

From probability monads to commutative effectuses

Jacobs, Bart
Jacobs, B.P.F.

January 2018

Contains fulltext : 182000pos.pdf (Author’s version postprint ) (Open Access) ...

Autarkic computations in formal proofs

Barendregt, H.P.
Barendsen, E.

January 2002

Contains fulltext : 17263.pdf (preprint version ) (Open Access

The Expectation Monad in Quantum Foundations

Jacobs, B.
Mandemaker, J.

January 2012

Contains fulltext : 103806.pdf (publisher's version ) (Open Access