{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:59Z","timestamp":1750220159221,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"DOI":"10.1145\/3546189.3549923","type":"proceedings-article","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T20:24:01Z","timestamp":1662495841000},"page":"95-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Partial type constructors in practice"],"prefix":"10.1145","author":[{"given":"Apoorv","family":"Ingle","sequence":"first","affiliation":[{"name":"University of Iowa, USA"}]},{"given":"Alex","family":"Hubers","sequence":"additional","affiliation":[{"name":"University of Iowa, USA"}]},{"given":"J. Garrett","family":"Morris","sequence":"additional","affiliation":[{"name":"University of Iowa, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,9,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122967"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia","author":"Chakravarty Manuel M. T.","year":"2005","unstructured":"Manuel M. T. Chakravarty , Gabriele Keller , and Simon L . Peyton Jones. 2005. Associated type synonyms . In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia , September 26-28, 2005 , Olivier Danvy and Benjamin C. Pierce (Eds.). ACM, Tallinn, Estonia. 241\u2013253. Manuel M. T. Chakravarty, Gabriele Keller, and Simon L. Peyton Jones. 2005. Associated type synonyms. In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, Olivier Danvy and Benjamin C. Pierce (Eds.). ACM, Tallinn, Estonia. 241\u2013253."},{"key":"e_1_3_2_1_3_1","volume-title":"Regression testing with Hackage. https:\/\/well-typed.com\/blog\/24\/ Last accessed","author":"Coutts Duncan","year":"2022","unstructured":"Duncan Coutts . 2009. Regression testing with Hackage. https:\/\/well-typed.com\/blog\/24\/ Last accessed June 2, 2022 Duncan Coutts. 2009. Regression testing with Hackage. https:\/\/well-typed.com\/blog\/24\/ Last accessed June 2, 2022"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_5_1","volume-title":"Mike Reeve, David Wise, and Jonathan Young.","author":"Hudak Paul","year":"1990","unstructured":"Paul Hudak , Philip Wadler , Arvind, Brian Boutel , Jon Fairbairn , Joseph Fasel , Kevin Hammond , John Hughes , Thomas Johnsson , Dick Kieburtz , Rishiyur Nikhil , Simon Peyton Jones , Mike Reeve, David Wise, and Jonathan Young. 1990 . Report on the Programming Language Haskell, A Non-strict Purely Functional Language . https:\/\/www.haskell.org\/definition\/haskell-report-1.0.tar.gz Paul Hudak, Philip Wadler, Arvind, Brian Boutel, Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, and Jonathan Young. 1990. Report on the Programming Language Haskell, A Non-strict Purely Functional Language. https:\/\/www.haskell.org\/definition\/haskell-report-1.0.tar.gz"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 1999 Haskell Workshop","author":"Hughes John","year":"1999","unstructured":"John Hughes . 1999 . Restricted Data Types in Haskell . In Proceedings of the 1999 Haskell Workshop . University of Utrecht, Technical Report UU-CS- 1999-28, Paris, France. 83\u2013100. John Hughes. 1999. Restricted Data Types in Haskell. In Proceedings of the 1999 Haskell Workshop. University of Utrecht, Technical Report UU-CS-1999-28, Paris, France. 83\u2013100."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663086"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. ACM Program. Lang., 4, POPL","author":"Jones Mark P.","year":"2020","unstructured":"Mark P. Jones , J. Garrett Morris , and Richard A. Eisenberg . 2020. Partial type constructors: or, making ad hoc datatypes less ad hoc . Proc. ACM Program. Lang., 4, POPL ( 2020 ), 40:1\u201340:28. Mark P. Jones, J. Garrett Morris, and Richard A. Eisenberg. 2020. Partial type constructors: or, making ad hoc datatypes less ad hoc. Proc. ACM Program. Lang., 4, POPL (2020), 40:1\u201340:28."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341706"},{"volume-title":"Dependently Typed Programs and their Proofs. Ph. D. Dissertation","author":"McBride Conor","key":"e_1_3_2_1_11_1","unstructured":"Conor McBride . 1999. Dependently Typed Programs and their Proofs. Ph. D. Dissertation . University of Edinburgh. Conor McBride. 1999. Dependently Typed Programs and their Proofs. Ph. D. Dissertation. University of Edinburgh."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863531"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110286"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_6"},{"key":"e_1_3_2_1_16_1","volume-title":"IFL 2011","author":"Persson Anders","year":"2011","unstructured":"Anders Persson , Emil Axelsson , and Josef Svenningsson . 2011 . Generic Monadic Constructs for Embedded Languages. In Implementation and Application of Functional Languages - 23rd International Symposium , IFL 2011 , Lawrence, KS, USA , October 3-5, 2011, Revised Selected Papers, Andy Gill and Jurriaan Hage (Eds.) (Lecture Notes in Computer Science, Vol. 7257). Springer, 85\u201399. Anders Persson, Emil Axelsson, and Josef Svenningsson. 2011. Generic Monadic Constructs for Embedded Languages. In Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers, Andy Gill and Jurriaan Hage (Eds.) (Lecture Notes in Computer Science, Vol. 7257). Springer, 85\u201399."},{"key":"e_1_3_2_1_17_1","unstructured":"Simon Peyton Jones. 1991. Contexts in data and type. http:\/\/code.haskell.org\/ dons\/haskell-1990-2000\/msg00072.html \t\t\t\t\t  Simon Peyton Jones. 1991. Contexts in data and type. http:\/\/code.haskell.org\/ dons\/haskell-1990-2000\/msg00072.html"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596599"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500602"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804314"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500611"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708023"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018828"},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. ACM Program. Lang., 4, POPL","author":"Xie Ningning","year":"2020","unstructured":"Ningning Xie , Richard A. Eisenberg , and Bruno C . d. S. Oliveira. 2020. Kind inference for datatypes . Proc. ACM Program. Lang., 4, POPL ( 2020 ), 53:1\u201353:28. Ningning Xie, Richard A. Eisenberg, and Bruno C. d. S. Oliveira. 2020. Kind inference for datatypes. Proc. ACM Program. Lang., 4, POPL (2020), 53:1\u201353:28."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"Haskell '22: 15th ACM SIGPLAN International Haskell Symposium","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Ljubljana Slovenia","acronym":"Haskell '22"},"container-title":["Proceedings of the 15th ACM SIGPLAN International Haskell Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546189.3549923","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546189.3549923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:23Z","timestamp":1750186823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546189.3549923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":26,"alternative-id":["10.1145\/3546189.3549923","10.1145\/3546189"],"URL":"https:\/\/doi.org\/10.1145\/3546189.3549923","relation":{},"subject":[],"published":{"date-parts":[[2022,9,6]]},"assertion":[{"value":"2022-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}