Ranjit Jhala. Refinement types for Haskell. In Nils Anders Danielsson, Bart Jacobs 0002, editors, Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014, January 21, 2014, San Diego, California, USA, Co-located with POPL '14. pages 27-28, ACM, 2014. [doi]