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]

Authors

Olaf Chitil

This author has not been identified. Look up 'Olaf Chitil' in Google

Frank Huch

This author has not been identified. It may be one of the following persons: Look up 'Frank Huch' in Google