Implementing a functional language with graph reduction (2021)

Fuzz me wrong – How QuickCheck destroyed my favourite theory