Skip to content

Monadic, Prompt Lazy Assertions in Haskell.

Olaf Chitil, Frank Huch

VenueBAPLAS
Year2007
ProceedingsAPLAS

Browse the full APLAS paper archive.