Effect-Driven QuickChecking of Compilers [pdf]

Seems like the server couldn't handle the HN traffic.

The actual implementation is here:

Thanks for the overwhelming interest! I've put up another copy of the paper here: http://people.compute.dtu.dk/janmi/Midtgaard-al:ICFP17-full....

It redirects to

>Ups, du overskred CPU forbrug grænsen

It seems link does have problems. Anybody else does experience same thing?

Yes, and I really want to read the actual pdf :(