A computer-verified monadic functional implementation of the integral.

Russell O'Connor Bas Spitters

Published in: Theor. Comput. Sci. (2010)

Keyphrases

real time
databases
computer systems
computer technology
functional language
machine learning
learning algorithm
information systems
hardware implementation
implementation details