Matt Noonan
Ghosts of departed proofs (functional pearl)
Haskell, 2018.
@inproceedings{Haskell-2018-Noonan, author = "Matt Noonan", booktitle = "{Proceedings of the 11th International Symposium on Haskell}", doi = "10.1145/3242744.3242755", pages = "119--131", publisher = "{ACM}", title = "{Ghosts of departed proofs (functional pearl)}", year = 2018, }