Login / Signup
Total Haskell is Reasonable Coq.
Antal Spector-Zabusky
Joachim Breitner
Christine Rizkallah
Stephanie Weirich
Published in:
CoRR (2017)
Keyphrases
</>
programming language
functional programming
high quality
computer vision
case study
theorem prover
plagiarism detection
functional language