Registered user since Sat 9 Sep 2017
Name:Rudy Braquehais
Contributions
Haskell 2017 | Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Blog Posts
- On being a student volunteer Wed 20 Sep 2017
- Lots of interesting talks on ICFP and Haskell Symposium Sat 9 Sep 2017
ICFP 2017-profile
View general profile
View general profile