Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Other: Added a link to "Up-front Unit Testing in Haskell")
(Added Category:Tutorials)
Line 68: Line 68:
   
 
* [http://haskell.org/haskellwiki/Research_papers/Testing_and_correctness Research papers on testing, proofs and correctness]
 
* [http://haskell.org/haskellwiki/Research_papers/Testing_and_correctness Research papers on testing, proofs and correctness]
  +
  +
  +
[[Category:Tutorials]]

Revision as of 22:25, 21 January 2013

Contents

1 Type system enforcement


2 Testing, correctness and proofs

2.1 QuickCheck


2.2 HUnit


2.3 Catch


2.4 Other

3 Proofs

3.1 GADTs


3.2 Coq


3.3 Isabelle


3.4 Related work


4 Further reading