Robby Findler, Shu-yu Guo, Anne Rogers. Lazy Contract Checking for Immutable Data Structures. In Olaf Chitil, Zoltán Horváth, Viktória Zsók, editors, Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Volume 5083 of Lecture Notes in Computer Science, pages 111-128, Springer, 2007. [doi]
@inproceedings{FindlerGR07,
title = {Lazy Contract Checking for Immutable Data Structures},
author = {Robby Findler and Shu-yu Guo and Anne Rogers},
year = {2007},
doi = {10.1007/978-3-540-85373-2_7},
url = {http://dx.doi.org/10.1007/978-3-540-85373-2_7},
tags = {laziness, contracts, data-flow},
researchr = {https://researchr.org/publication/FindlerGR07},
cites = {0},
citedby = {0},
pages = {111-128},
booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers},
editor = {Olaf Chitil and Zoltán Horváth and Viktória Zsók},
volume = {5083},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85372-5},
}