Benutzung von Typklassen bei Smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad:

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values

http://www.cs.york.ac.uk/fp/smallcheck/



Johannes Waldmann 2011-01-18