Lazy Assertions

Olaf Chitil, Dan McNeill, Colin Runciman. Lazy Assertions. In Philip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Volume 3145 of Lecture Notes in Computer Science, pages 1-19, Springer, 2003. [doi]


Abstract is missing.