Correctness of an STM Haskell implementation.

Manfred Schmidt-Schauß David Sabel

Published in: ICFP (2013)

Keyphrases

functional programming
programming language
databases
efficient implementation
functional language
machine learning
search engine
bayesian networks
relational databases
artificial neural networks
general purpose
hardware implementation
implementation details