TY  - RPRT
TI  - Total Haskell is Reasonable Coq
AU  - Antal Spector-Zabusky
AU  - Joachim Breitner
AU  - Christine Rizkallah
AU  - Stephanie Weirich
PY  - 2017
DO  - 10.1145/3167092
UR  - https://arxiv.org/abs/1711.09286
ID  - 1711.09286
ER  -