Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
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

Contents

1 Type system enforcement

2 Testing, correctness and proofs

2.1 QuickCheck

2.2 HUnit

2.3 Catch

3 Proofs

3.1 GADTs

3.2 Coq

3.3 Isabelle

3.4 Related work

4 Further reading