Verifying Haskell programs using constructive type theory (2005)

by Andreas Abel , Marcin Benke , Ana Bove , John Hughes , Ulf Norell
Venue:In Haskell’05
Citations:6 - 0 self