Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace. Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. In Johan Jeuring, Simon L. Peyton Jones, editors, Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Volume 2638 of Lecture Notes in Computer Science, pages 59-99, Springer, 2002. [doi]

Identified as Koen Claessen This author has not been identified. Look up 'Colin Runciman' in GoogleThis author has not been identified. Look up 'Olaf Chitil' in GoogleIdentified as John Hughes This author has not been identified. Look up 'Malcolm Wallace' in Google

runs on WebDSL