Oh so it’s like QuickTest in Erlang and Haskell. Very interesting, thanks!

Does anyone have any recommendations for papers on this?