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]
Abstract is missing.