Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Colin Runciman
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
Not registered as user
Name:
Colin Runciman
Contributions
2017
Haskell
Author of Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results within the Haskell 2017-track
2016
Haskell
Author of FitSpec: Refining Property Sets for Functional Testing within the Haskell-track
Share
x
Sun 22 Dec 04:58