Olaf Chitil, Frank Huch
A Pattern Logic for Prompt Lazy Assertions in Haskell
IFL, 2006.
@inproceedings{IFL-2006-ChitilH, author = "Olaf Chitil and Frank Huch", booktitle = "{Revised Selected Papers of the 18th International Symposium on Implementation and Application of Functional Languages}", doi = "10.1007/978-3-540-74130-5_8", isbn = "978-3-540-74129-9", pages = "126--144", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Pattern Logic for Prompt Lazy Assertions in Haskell}", volume = 4449, year = 2006, }