Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
Haskell, 2018.
@inproceedings{Haskell-2018-VazouBKHH,
author = "Niki Vazou and Joachim Breitner and Rose Kunkel and David Van Horn and Graham Hutton",
booktitle = "{Proceedings of the 11th International Symposium on Haskell}",
doi = "10.1145/3242744.3242756",
pages = "132--144",
publisher = "{ACM}",
title = "{Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)}",
year = 2018,
}