Introducing the Haskell equational reasoning assistant.

Published in: Haskell (2006)

Keyphrases

test bed
programming language
functional programming
machine learning
database
text retrieval
data mining
artificial intelligence
clustering algorithm
high level
multi agent systems
expert systems
information extraction
object oriented
distributed systems
plagiarism detection