Divesh Otwani, Richard A. Eisenberg. The Thoralf plugin: for your fancy type needs. 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 106-118, ACM, 2018. [doi]
Abstract is missing.