A compositional theory for STM Haskell.

Johannes Borgström Karthikeyan Bhargavan Andrew D. Gordon

Published in: Haskell (2009)

Keyphrases

theoretical framework
programming language
artificial intelligence
information systems
long term
information theory
theoretical basis
data sets
real world
social networks
case study
evolutionary algorithm
general theory