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 yet
Name:
Colin Runciman
Contributions
Haskell 2017
Author of Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results within the Haskell 2017-track
Haskell 2016
Author of FitSpec: Refining Property Sets for Functional Testing within the Haskell-track
Share
x
Sun 29 Jan 04:14