Jason S. Reich, Matthew Naylor, Colin Runciman
Advances in Lazy SmallCheck
IFL, 2012.
@inproceedings{IFL-2012-ReichNR,
author = "Jason S. Reich and Matthew Naylor and Colin Runciman",
booktitle = "{Revised Selected Papers of the 24th International Symposium on Implementation and Application of Functional Languages}",
doi = "10.1007/978-3-642-41582-1_4",
isbn = "978-3-642-41581-4",
pages = "53--70",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Advances in Lazy SmallCheck}",
volume = 8241,
year = 2012,
}
Tags: