Verifying haskell programs using constructive type theory.

Andreas Abel Marcin Benke Ana Bove John Hughes Ulf Norell Verifying haskell programs using constructive type theory. 62-73 2005 conf/haskell/2005 Haskell http://doi.acm.org/10.1145/1088348.1088355 db/conf/haskell/haskell2005.html#AbelBBHN05