Matt Noonan. Ghosts of departed proofs (functional pearl). In Nicolas Wu, editor, Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018. pages 119-131, ACM, 2018. [doi]
Abstract is missing.