Monadic, Prompt Lazy Assertions in Haskell

Olaf Chitil, Frank Huch. Monadic, Prompt Lazy Assertions in Haskell. In Zhong Shao, editor, Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings. Volume 4807 of Lecture Notes in Computer Science, pages 38-53, Springer, 2007. [doi]

@inproceedings{ChitilH07,
  title = {Monadic, Prompt Lazy Assertions in Haskell},
  author = {Olaf Chitil and Frank Huch},
  year = {2007},
  doi = {10.1007/978-3-540-76637-7_4},
  url = {http://dx.doi.org/10.1007/978-3-540-76637-7_4},
  tags = {laziness, Haskell},
  researchr = {https://researchr.org/publication/ChitilH07},
  cites = {0},
  citedby = {0},
  pages = {38-53},
  booktitle = {Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings},
  editor = {Zhong Shao},
  volume = {4807},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76636-0},
}