@article{205,
  author = {Sandra Dylus and Jan Christiansen and Finn Teegen},
  title = {One Monad to Prove Them All},
  abstract = {One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assistant Coq. On the one hand, as a PhD student in computer science Mona observes an increasing demand for correct software products. In particular, because of the large amount of existing software, verifying existing software products becomes more important. Verifying programs in the functional programming language Haskell is no exception. On the other hand, Mona is delighted to see that communities in the area of theorem proving are becoming popular. Thus, Mona sets out to learn more about the interactive theorem prover Coq and verifying Haskell programs in Coq.},
  year = {2019},
  booktitle = {The Art, Science, and Engineering of Programming},
  journal = {The Art, Science, and Engineering of Programming},
  volume = {3},
  number = {3},
  issn = {2473-7321},
  doi = {10.22152/programming-journal.org/2019/3/8},
}