Type Constructor Classes and Monad Transformers.

Published in: Arch. Formal Proofs (2012)

Keyphrases

data structure
class labels
databases

social networks
high level
genetic algorithm

three dimensional
image sequences
multi agent

natural language
control system
mobile robot