Difference between revisions of "Blog articles/Testing"

From HaskellWiki
Jump to: navigation, search
(Coq)
(Type checking for correctness)
Line 1: Line 1:
== Type checking for correctness ==
+
== Type system enforcement ==
  +
* [http://blog.moertel.com/articles/2007/08/15/a-bright-future-security-and-modern-type-systems A bright future: security and modern type systems]
 
* [http://weblog.raganwald.com/2007/07/can-your-type-checking-system-do-this.html Can your type checking system do this?]
 
* [http://weblog.raganwald.com/2007/07/can-your-type-checking-system-do-this.html Can your type checking system do this?]
   

Revision as of 16:59, 23 September 2007

Type system enforcement

Testing, correctness and proofs

QuickCheck

HUnit

Catch

Proofs

GADTs

Coq

Isabelle

Related work

Further reading