Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2003
Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm (2003) Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: 4th Summer School in Advanced Functional Programming. 4th International School, AFP 2002. LNCS 2638. Springer pp. 59-99. ISBN 978-3-540-40132-2. E-ISBN 978-3-540-44833-4. (doi:https://doi.org/10.1007/978-3-540-44833-4_3) (Full text available) |