Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser. Testing Properties of Generic Functions. In Zoltán Horváth, Viktória Zsók, Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Volume 4449 of Lecture Notes in Computer Science, pages 217-234, Springer, 2006. [doi]
@inproceedings{JanssonJCEKMOV06,
title = {Testing Properties of Generic Functions},
author = {Patrik Jansson and Johan Jeuring and Laurence Cabenda and Gerbo Engels and Jacob Kleerekoper and Sander Mak and Michiel Overeem and Kees Visser},
year = {2006},
doi = {10.1007/978-3-540-74130-5_13},
url = {http://dx.doi.org/10.1007/978-3-540-74130-5_13},
tags = {rule-based, testing, Haskell, data-flow, type checking, QuickCheck},
researchr = {https://researchr.org/publication/JanssonJCEKMOV06},
cites = {0},
citedby = {0},
pages = {217-234},
booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
volume = {4449},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74129-9},
}