Verifying Haskell programs using constructive type theory (2005)

by A Abel, M Benke, A Bove, J Hughes, U Norell
Venue:In Haskell’05