conf.researchr.org / Colin Runciman

Not registered as user yet

Name: Colin Runciman

Contributions

Haskell 2017Author of Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results within the Haskell 2017-track
Haskell 2016Author of FitSpec: Refining Property Sets for Functional Testing within the Haskell-track