Eliminating bugs with dependent Haskell (experience report).

Noam Zilberstein

Published in: Haskell@ICFP (2020)

Keyphrases

bug reports
programming language
source code
plagiarism detection
functional programming
bayesian networks
search algorithm
similarity measure
expert systems
user experience