Effect-driven QuickChecking of compilers. - Jan Midtgaard; Mathias Nygaard Justesen; Patrick Kasting; Flemming Nielson; Hanne Riis Nielson (Proc. ACM Program. Lang., 2017)