Monadic, Prompt Lazy Assertions in Haskell - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

A Pattern Logic for Prompt Lazy Assertions in HaskellOlaf Chitil, Frank Huch. IFL 2007: 126-144 [doi]

runs on WebDSL