Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Testing, correctness and proofs)
(Testing, correctness and proofs)
Line 1: Line 1:
  +
== Type checking for correctness ==
  +
* [http://weblog.raganwald.com/2007/07/can-your-type-checking-system-do-this.html Can your type checking system do this?]
  +
 
== Testing, correctness and proofs ==
 
== Testing, correctness and proofs ==
   

Revision as of 06:12, 10 July 2007

1 Type checking for correctness

2 Testing, correctness and proofs

3 Further reading