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