TY  - RPRT
TI  - One Monad to Prove Them All
AU  - Sandra Dylus
AU  - Jan Christiansen
AU  - Finn Teegen
PY  - 2019
DO  - 10.22152/programming-journal.org/2019/3/8
UR  - https://arxiv.org/abs/1805.08059
ID  - 1805.08059
ER  -