Lazy Assertions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

A semantics for lazy assertionsOlaf Chitil. PEPM 2011: 141-150 [doi]

Monadic, Prompt Lazy Assertions in HaskellOlaf Chitil, Frank Huch. aplas 2007: 38-53 [doi]

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

runs on WebDSL