{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:36Z","timestamp":1760043456063,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:00:00Z","timestamp":1569369600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swedish Foundation for Strategic Research","award":["RIT17-0011"],"award-info":[{"award-number":["RIT17-0011"]}]},{"name":"Swedish research agency Vetenskapsr\u00e5det"},{"name":"e Swedish Foundation for Strategic Research","award":["RIT17-0023"],"award-info":[{"award-number":["RIT17-0023"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412943","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Deriving compositional random generators"],"prefix":"10.1145","author":[{"given":"Agust\u00edn","family":"Mista","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro","family":"Russo","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"volume-title":"In Proc. of IEEE International Conference on Software Testing, Verification and Validation, ICST Workshops.","author":"Arts T.","key":"e_1_3_2_1_1_1","unstructured":"T. Arts , J. Hughes , U. Norell , and H. Svensson . 2015. Testing AUTOSAR software with QuickCheck . In In Proc. of IEEE International Conference on Software Testing, Verification and Validation, ICST Workshops. T. Arts, J. Hughes, U. Norell, and H. Svensson. 2015. Testing AUTOSAR software with QuickCheck. In In Proc. of IEEE International Conference on Software Testing, Verification and Validation, ICST Workshops."},{"volume-title":"Proc. of the ACM SIGPLAN International Conference on Functional Programming (ICFP).","author":"Claessen K.","key":"e_1_3_2_1_2_1","unstructured":"K. Claessen and J. Hughes . 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs . In Proc. of the ACM SIGPLAN International Conference on Functional Programming (ICFP). K. Claessen and J. Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In Proc. of the ACM SIGPLAN International Conference on Functional Programming (ICFP)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636527"},{"volume-title":"Proceedings of the 25th Symposium on Implementation and Application of Functional Languages (IFL '13)","author":"Day L. E.","key":"e_1_3_2_1_4_1","unstructured":"L. E. Day and G. Hutton . 2014. Compilation \u00c0 La Carte . In Proceedings of the 25th Symposium on Implementation and Application of Functional Languages (IFL '13) . L. E. Day and G. Hutton. 2014. Compilation \u00c0 La Carte. In Proceedings of the 25th Symposium on Implementation and Application of Functional Languages (IFL '13)."},{"key":"e_1_3_2_1_5_1","volume-title":"Bruno C d S Oliveira, and Tom Schrijvers","author":"Delaware Benjamin","year":"2013","unstructured":"Benjamin Delaware , Bruno C d S Oliveira, and Tom Schrijvers . 2013 . Meta-theory \u00e0 la carte. In ACM SIGPLAN Notices, Vol. 48 . ACM , 207--218. Benjamin Delaware, Bruno C d S Oliveira, and Tom Schrijvers. 2013. Meta-theory \u00e0 la carte. In ACM SIGPLAN Notices, Vol. 48. ACM, 207--218."},{"volume-title":"Proc. of the ACM SIGPLAN Int. Symp. on Haskell.","author":"Dureg\u00e5rd J.","key":"e_1_3_2_1_6_1","unstructured":"J. Dureg\u00e5rd , P. Jansson , and M. Wang . 2012. Feat: Functional enumeration of algebraic types . In Proc. of the ACM SIGPLAN Int. Symp. on Haskell. J. Dureg\u00e5rd, P. Jansson, and M. Wang. 2012. Feat: Functional enumeration of algebraic types. In Proc. of the ACM SIGPLAN Int. Symp. on Haskell."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_10"},{"volume-title":"Proc. of the ACM SIGPLAN International Symposium on Haskell.","author":"Grieco G.","key":"e_1_3_2_1_8_1","unstructured":"G. Grieco , M. Ceresa , and P. Buiras . 2016. QuickFuzz: An automatic random fuzzer for common file formats . In Proc. of the ACM SIGPLAN International Symposium on Haskell. G. Grieco, M. Ceresa, and P. Buiras. 2016. QuickFuzz: An automatic random fuzzer for common file formats. In Proc. of the ACM SIGPLAN International Symposium on Haskell."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"G. Grieco M. Ceresa A. Mista and P. Buiras. 2017. QuickFuzz testing for fun and profit. Journal of Systems and Software 134 (2017).  G. Grieco M. Ceresa A. Mista and P. Buiras. 2017. QuickFuzz testing for fun and profit. Journal of Systems and Software 134 (2017).","DOI":"10.1016\/j.jss.2017.09.018"},{"volume-title":"Proc. of the Int. Conf. on Software Testing, Verification and Validation.","author":"Hughes J.","key":"e_1_3_2_1_10_1","unstructured":"J. Hughes , C. Pierce B, T. Arts , and U. Norell . 2016. Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service . In Proc. of the Int. Conf. on Software Testing, Verification and Validation. J. Hughes, C. Pierce B, T. Arts, and U. Norell. 2016. Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. In Proc. of the Int. Conf. on Software Testing, Verification and Validation."},{"volume-title":"The IEEE\/ACM International Workshop on Automation of Software Test (AST).","author":"Hughes J.","key":"e_1_3_2_1_11_1","unstructured":"J. Hughes , U. Norell , N. Smallbone , and T. Arts . 2016. Find more bugs with QuickCheck! . In The IEEE\/ACM International Workshop on Automation of Software Test (AST). J. Hughes, U. Norell, N. Smallbone, and T. Arts. 2016. Find more bugs with QuickCheck!. In The IEEE\/ACM International Workshop on Automation of Software Test (AST)."},{"key":"e_1_3_2_1_12_1","volume-title":"Companion Proceedings of the 15th Int. Conference on Modularity (MODULARITY","author":"Kiriyama H.","year":"2016","unstructured":"H. Kiriyama , H. Aotani , and H. Masuhara . 2016. A Lightweight Optimization Technique for Data Types a La Carte . In Companion Proceedings of the 15th Int. Conference on Modularity (MODULARITY 2016 ). ACM, New York, NY, USA. H. Kiriyama, H. Aotani, and H. Masuhara. 2016. A Lightweight Optimization Technique for Data Types a La Carte. In Companion Proceedings of the 15th Int. Conference on Modularity (MODULARITY 2016). ACM, New York, NY, USA."},{"key":"e_1_3_2_1_13_1","volume-title":"ACM SIGPLAN Workshop on Scheme and Functional Programming.","author":"Klein Casey","year":"2009","unstructured":"Casey Klein and Robert Bruce Findler . 2009 . Randomized testing in PLT Redex . In ACM SIGPLAN Workshop on Scheme and Functional Programming. Casey Klein and Robert Bruce Findler. 2009. Randomized testing in PLT Redex. In ACM SIGPLAN Workshop on Scheme and Functional Programming."},{"volume-title":"Proc. of the ACM SIGPLAN Symposium on Principles of Programming Languages, POPL.","author":"Lampropoulos L.","key":"e_1_3_2_1_14_1","unstructured":"L. Lampropoulos , D. Gallois-Wong , C. Hritcu , J. Hughes , B. C. Pierce , and L. Xia . 2017. Beginner's luck: a language for property-based generators . In Proc. of the ACM SIGPLAN Symposium on Principles of Programming Languages, POPL. L. Lampropoulos, D. Gallois-Wong, C. Hritcu, J. Hughes, B. C. Pierce, and L. Xia. 2017. Beginner's luck: a language for property-based generators. In Proc. of the ACM SIGPLAN Symposium on Principles of Programming Languages, POPL."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the ACM on Programming Languages","volume":"1","author":"Midtgaard J.","year":"2017","unstructured":"J. Midtgaard , M. N. Justesen , P. Kasting , F. Nielson , and H. R. Nielson . 2017. Effect-driven QuickChecking of compilers . In Proceedings of the ACM on Programming Languages , Volume 1 ICFP ( 2017 ). J. Midtgaard, M. N. Justesen, P. Kasting, F. Nielson, and H. R. Nielson. 2017. Effect-driven QuickChecking of compilers. In Proceedings of the ACM on Programming Languages, Volume 1 ICFP (2017)."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 14th International Workshop on Automation of Software Test.","author":"Mista Agust\u00edn","year":"2019","unstructured":"Agust\u00edn Mista and Alejandro Russo . 2019 . Generating Random Structurally Rich Algebraic Data Type Values . In Proceedings of the 14th International Workshop on Automation of Software Test. Agust\u00edn Mista and Alejandro Russo. 2019. Generating Random Structurally Rich Algebraic Data Type Values. In Proceedings of the 14th International Workshop on Automation of Software Test."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242747"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003494"},{"key":"e_1_3_2_1_20_1","unstructured":"Bryan O'Sullivan. 2014. Criterion: a Haskell microbenchmarking library. http:\/\/www.serpentine.com\/criterion\/  Bryan O'Sullivan. 2014. Criterion: a Haskell microbenchmarking library. http:\/\/www.serpentine.com\/criterion\/"},{"key":"e_1_3_2_1_21_1","volume-title":"International Symposium on Implementation and Application of Functional Languages. Springer, 85--99","author":"Persson Anders","year":"2011","unstructured":"Anders Persson , Emil Axelsson , and Josef Svenningsson . 2011 . Generic monadic constructs for embedded languages . In International Symposium on Implementation and Application of Functional Languages. Springer, 85--99 . Anders Persson, Emil Axelsson, and Josef Svenningsson. 2011. Generic monadic constructs for embedded languages. In International Symposium on Implementation and Application of Functional Languages. Springer, 85--99."},{"volume-title":"Acm sigplan notices","author":"Runciman Colin","key":"e_1_3_2_1_22_1","unstructured":"Colin Runciman , Matthew Naylor , and Fredrik Lindblad . 2008. Smallcheck and lazy smallcheck: automatic exhaustive testing for small values . In Acm sigplan notices , Vol. 44 . ACM , 37--48. Colin Runciman, Matthew Naylor, and Fredrik Lindblad. 2008. Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. In Acm sigplan notices, Vol. 44. ACM, 37--48."},{"volume-title":"Proceedings of the 19th International Symposium on Implemantation and Application of Functional Languages.","author":"Schrijvers T.","key":"e_1_3_2_1_23_1","unstructured":"T. Schrijvers , M. Sulzmann , S. P. Jones , and M. Chakravarty . 2007. Towards open type functions for Haskell . In Proceedings of the 19th International Symposium on Implemantation and Application of Functional Languages. T. Schrijvers, M. Sulzmann, S. P. Jones, and M. Chakravarty. 2007. Towards open type functions for Haskell. In Proceedings of the 19th International Symposium on Implemantation and Application of Functional Languages."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_25_1","unstructured":"Philip Wadler. 1998. The expression problem. https:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/expression\/expression.txt  Philip Wadler. 1998. The expression problem. https:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/expression\/expression.txt"},{"volume-title":"Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89)","author":"Wadler P.","key":"e_1_3_2_1_26_1","unstructured":"P. Wadler and S. Blott . 1989. How to Make Ad-hoc Polymorphism Less Ad Hoc . In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89) . 60--76. P. Wadler and S. Blott. 1989. How to Make Ad-hoc Polymorphism Less Ad Hoc. In Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). 60--76."},{"key":"e_1_3_2_1_27_1","unstructured":"Nicolas Wu Tom Schrijvers and Ralf Hinze. 2014. Effect handlers in scope. (2014).  Nicolas Wu Tom Schrijvers and Ralf Hinze. 2014. Effect handlers in scope. (2014)."}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412943","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:02Z","timestamp":1750193222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":27,"alternative-id":["10.1145\/3412932.3412943","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412943","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}