Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier. Type invariants for Haskell. In Thorsten Altenkirch, Todd D. Millstein, editors, Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. pages 39-48, ACM, 2009. [doi]
Abstract is missing.