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

Document Versions

Verifying Haskell programs using constructive type theory –Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell — 2005 — In Haskell’05
Verifying Haskell programs using constructive type theory –Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell — 2005 — In Haskell’05