Verifying Haskell programs using constructive type theory (2005)

by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Venue:In Haskell’05