Verifying haskell programs using constructive type theory.

Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell

Browse the full HASKELL paper archive.