zaklinica opened this issue 3 years ago · 1 comments
https://en.wikipedia.org/wiki/John_Hughes_(computer_scientist)
https://scholar.google.com/citations?hl=en&user=adD4xmAAAAAJ
Cool, I've used QuickCheck briefly and it's a lot of fun.