Iavor S. Diatchki. Improving Haskell types with SMT. In Ben Lippmeier, editor, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015. pages 1-10, ACM, 2015. [doi]
No reviews for this publication, yet.