{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T00:19:22Z","timestamp":1756253962397,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T00:00:00Z","timestamp":1693267200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,29]]},"DOI":"10.1145\/3652561.3652569","type":"proceedings-article","created":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T18:19:52Z","timestamp":1718821192000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Type-Based Uncurrying for Unknown Function Calls"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0268-0842","authenticated-orcid":false,"given":"Morten","family":"Rhiger","sequence":"first","affiliation":[{"name":"Roskilde University, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2024,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289435"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-010-9050-z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010006229549"},{"key":"e_1_3_2_1_5_1","volume-title":"ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming","author":"Jim Trevor","year":"2000","unstructured":"Trevor Jim. 2000. A Polar Type System. In ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000, Jos\u00e9 D.\u00a0P. Rolim, Andrei\u00a0Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, and J.\u00a0B. Wells (Eds.). Carleton Scientific, Waterloo, Ontario, Canada, 323\u2013338."},{"key":"e_1_3_2_1_6_1","unstructured":"Xavier Leroy. 1990. The ZINC experiment: an economical implementation of the ML language. Technical Report 117. INRIA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3607846"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005995"},{"volume-title":"The Definition of Standard ML (Revised)","author":"Milner Robin","key":"e_1_3_2_1_9_1","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. 1997. The Definition of Standard ML (Revised). The MIT Press, Cambridge, Massechusetts."},{"volume-title":"Types and programming languages","author":"Pierce C.","key":"e_1_3_2_1_10_1","unstructured":"Benjamin\u00a0C. Pierce. 2002. Types and programming languages. The MIT Press, Cambridge, Massechusetts."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010027404223"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90055-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1987-10202"}],"event":{"name":"IFL 2023: The 35th Symposium on Implementation and Application of Functional Languages","acronym":"IFL 2023","location":"Braga Portugal"},"container-title":["The 35th Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652561.3652569","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652561.3652569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T19:11:01Z","timestamp":1756235461000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652561.3652569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,29]]},"references-count":13,"alternative-id":["10.1145\/3652561.3652569","10.1145\/3652561"],"URL":"https:\/\/doi.org\/10.1145\/3652561.3652569","relation":{},"subject":[],"published":{"date-parts":[[2023,8,29]]},"assertion":[{"value":"2024-06-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}