Smallcheck and lazy smallcheck
- 25 September 2008
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 44 (2), 37-48
- https://doi.org/10.1145/1543134.1411292
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Haskell program coveragePublished by Association for Computing Machinery (ACM) ,2007
- Toward an Implementation of the "Form Template Method" RefactoringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- The countdown problemJournal of Functional Programming, 2002
- QuickCheckPublished by Association for Computing Machinery (ACM) ,2000
- Red-black trees in a functional settingJournal of Functional Programming, 1999
- A semantics for imprecise exceptionsPublished by Association for Computing Machinery (ACM) ,1999
- A needed narrowing strategyPublished by Association for Computing Machinery (ACM) ,1994
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979