%0 Conference Paper %1 conf/afp/ClaessenRCHW02 %A Claessen, Koen %A Runciman, Colin %A Chitil, Olaf %A Hughes, John %A Wallace, Malcolm %B Advanced Functional Programming %D 2002 %E Jeuring, Johan %E Jones, Simon L. Peyton %I Springer %K dblp %P 59-99 %T Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. %U http://dblp.uni-trier.de/db/conf/afp/afp2002.html#ClaessenRCHW02 %V 2638 %@ 3-540-40132-6

@inproceedings{conf/afp/ClaessenRCHW02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Claessen, Koen and Runciman, Colin and Chitil, Olaf and Hughes, John and Wallace, Malcolm}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fd00c31a17ab3392234ee41a6523c9fe/dblp}, booktitle = {Advanced Functional Programming}, crossref = {conf/afp/2002}, editor = {Jeuring, Johan and Jones, Simon L. Peyton}, ee = {https://doi.org/10.1007/978-3-540-44833-4_3}, interhash = {71cd3efe045519aaf6c5d89d4f3668f4}, intrahash = {fd00c31a17ab3392234ee41a6523c9fe}, isbn = {3-540-40132-6}, keywords = {dblp}, pages = {59-99}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:03:02.000+0200}, title = {Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.}, url = {http://dblp.uni-trier.de/db/conf/afp/afp2002.html#ClaessenRCHW02}, volume = 2638, year = 2002 }