%0 Journal Article %1 journals/pacmpl/MidtgaardJKNN17 %A Midtgaard, Jan %A Justesen, Mathias Nygaard %A Kasting, Patrick %A Nielson, Flemming %A Nielson, Hanne Riis %D 2017 %J Proc. ACM Program. Lang. %K %N ICFP %P 15:1-15:23 %T Effect-driven QuickChecking of compilers. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#MidtgaardJKNN17 %V 1

@article{journals/pacmpl/MidtgaardJKNN17, added-at = {2023-12-13T00:50:26.000+0100}, author = {Midtgaard, Jan and Justesen, Mathias Nygaard and Kasting, Patrick and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/2dcbbece2ca4496105ac2d2e29f06c3ee/admin}, ee = {https://www.wikidata.org/entity/Q59416287}, interhash = {692a28a0405966e9cb2f7b35fd20cfcc}, intrahash = {dcbbece2ca4496105ac2d2e29f06c3ee}, journal = {Proc. ACM Program. Lang.}, keywords = {}, number = {ICFP}, pages = {15:1-15:23}, timestamp = {2023-12-13T00:50:26.000+0100}, title = {Effect-driven QuickChecking of compilers.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#MidtgaardJKNN17}, volume = 1, year = 2017 }