An Introduction to Liquid Haskell.

Published in: PROLE (2016)

Keyphrases

genetic algorithm
functional programming
programming language
plagiarism detection
neural network
machine learning
knowledge base
case study
mathematical model
cross language