Verifying effectful Haskell programs in Coq.
Jan ChristiansenSandra DylusNiels BunkenburgPublished in: Haskell@ICFP (2019)
Keyphrases
- functional programming
- functional language
- programming language
- theorem prover
- computer programs
- formal methods
- automatic programming
- provably correct
- search algorithm
- plagiarism detection
- hidden markov models
- model checking
- similarity measure
- real time
- programming environment
- control flow
- high level
- artificial intelligence