Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace. Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. In Johan Jeuring, Simon L. Peyton Jones, editors, Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Volume 2638 of Lecture Notes in Computer Science, pages 59-99, Springer, 2002. [doi]
@inproceedings{ClaessenRCHW02,
title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat},
author = {Koen Claessen and Colin Runciman and Olaf Chitil and John Hughes and Malcolm Wallace},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=59},
tags = {laziness, functional programming, testing, QuickCheck},
researchr = {https://researchr.org/publication/ClaessenRCHW02},
cites = {0},
citedby = {0},
pages = {59-99},
booktitle = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
editor = {Johan Jeuring and Simon L. Peyton Jones},
volume = {2638},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40132-6},
}