Extended static checking for haskell.

Published in: Haskell (2006)

Keyphrases

programming language
consistency checking
database
real time
real world
decision making
website
hidden markov models
general purpose
plagiarism detection