Total Haskell is reasonable Coq.

Antal Spector-Zabusky Joachim Breitner Christine Rizkallah Stephanie Weirich

Published in: CPP (2018)

Keyphrases

programming language
functional programming
objective function
high quality
e learning
three dimensional
similarity measure
information retrieval
database
expert systems
relational databases
artificial neural networks
general purpose
databases
open source
plagiarism detection
data sets