Type invariants for Haskell.

Tom Schrijvers Louis-Julien Guillemette Stefan Monnier

Published in: PLPV (2009)

Keyphrases

programming language
social networks
hidden markov models
neural network
information systems
image segmentation
evolutionary algorithm
general purpose
multiple types
plagiarism detection
functional programming