{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T12:35:17Z","timestamp":1768307717568,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1145\/3756907.3756915","type":"proceedings-article","created":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:11Z","timestamp":1765617551000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Determinism Types for Functional Logic Programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4953-8202","authenticated-orcid":false,"given":"Michael","family":"Hanus","sequence":"first","affiliation":[{"name":"Kiel University, Kiel, Schleswig-Holstein, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5795-6308","authenticated-orcid":false,"given":"Kai-Oliver","family":"Prott","sequence":"additional","affiliation":[{"name":"Kiel University, Kiel, Schleswig-Holstein, Germany"}]}],"member":"320","published-online":{"date-parts":[[2025,12,13]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Elvira Albert Michael Hanus Frank Huch Javier Oliver and Germ\u00e1n Vidal. 2005. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation 40 1 (2005) 795\u2013829. 10.1016\/j.jsc.2004.01.001","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_3_2_3_2","first-page":"127","volume-title":"Proc. of the Third International Workshop on Graph Computation Models","author":"Alqaddoumi Abdulla","year":"2010","unstructured":"Abdulla Alqaddoumi, Sergio Antoy, Sebastian Fischer, and Fabian Reck. 2010. The Pull-Tab Transformation. In Proc. of the Third International Workshop on Graph Computation Models. Enschede, The Netherlands, 127\u2013132. Available at http:\/\/gcm2010.imag.fr\/pages\/gcm2010-preproceedings.pdf."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773205"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Sergio Antoy. 2011. On the Correctness of Pull-Tabbing. Theory and Practice of Logic Programming 11 4-5 (2011) 713\u2013730. 10.1017\/S1471068411000263","DOI":"10.1017\/S1471068411000263"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273936"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","unstructured":"Sergio Antoy Rachid Echahed and Michael Hanus. 2000. A Needed Narrowing Strategy. J. ACM 47 4 (2000) 776\u2013822. 10.1145\/347476.347484","DOI":"10.1145\/347476.347484"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_2"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_9"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599420"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Sergio Antoy and Michael Hanus. 2010. Functional Logic Programming. Commun. ACM 53 4 (2010) 74\u201385. 10.1145\/1721654.1721675","DOI":"10.1145\/1721654.1721675"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51676-91"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3607845"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3479394.3479411"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Bernd Bra\u00dfel Michael Hanus and Frank Huch. 2004. Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming 2004 6 (2004).","DOI":"10.1007\/978-3-540-24836-1_14"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22531-4_1"},{"key":"e_1_3_3_2_18_2","first-page":"192","volume-title":"Proc. 4th IEEE Internat. Symposium on Logic Programming","author":"Bruynooghe Maurice","year":"1987","unstructured":"Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, and Bart Demoen. 1987. Abstract interpretation: towards the global optimization of Prolog programs. In Proc. 4th IEEE Internat. Symposium on Logic Programming. San Francisco, 192\u2013204."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","unstructured":"Javier de Dios\u00a0Castro and Francisco\u00a0J. L\u00f3pez-Fraguas. 2007. Extra variables can be eliminated from functional logic programs. Electronic Notes in Theoretical Computer Science 188 (2007) 3\u201319. 10.1016\/j.entcs.2006.05.049","DOI":"10.1016\/j.entcs.2006.05.049"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Saumya\u00a0K. Debray and David\u00a0S. Warren. 1989. Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11 3 (1989) 451\u2013481. 10.1145\/65979.65984","DOI":"10.1145\/65979.65984"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37651-1_6"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-97-8943-6_6"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-97-2300-3_10"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3551357.3551370"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/2543728.2543744"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-46714-2_15"},{"key":"e_1_3_3_2_28_2","unstructured":"Michael Hanus\u00a0(ed.). 2016. Curry: An Integrated Functional Logic Language (Vers. 0.9.0). Available at http:\/\/www.curry-lang.org."},{"key":"e_1_3_3_2_29_2","first-page":"337","volume-title":"Proc. of the Nineteenth Australian Computer Science Conference","author":"Henderson Fergus","year":"1996","unstructured":"Fergus Henderson, Zoltan Somogyi, and Thomas Conway. 1996. Determinism analysis in the Mercury compiler. In Proc. of the Nineteenth Australian Computer Science Conference. 337\u2013346."},{"key":"e_1_3_3_2_30_2","first-page":"395","volume-title":"Computational Logic: Essays in Honor of Alan Robinson","author":"Huet G\u00e9rard\u00a0P.","year":"1991","unstructured":"G\u00e9rard\u00a0P. Huet and Jean-Jaques L\u00e9vy. 1991. Computations in Orthogonal Rewriting Systems. In Computational Logic: Essays in Honor of Alan Robinson, J.-L. Lassez and G.\u00a0Plotkin (Eds.). MIT Press, 395\u2013443."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","unstructured":"Heinrich Hussmann. 1992. Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. Journal of Logic Programming 12 (1992) 237\u2013255. 10.1016\/0743-1066(92)90026-Y","DOI":"10.1016\/0743-1066(92)90026-Y"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","unstructured":"Connor McBride and Ross Paterson. 2008. Applicative programming with effects. Journal of Functional Programming 18 1 (2008) 1\u201313. 10.1017\/S0956796807006326","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155112"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676971"},{"key":"e_1_3_3_2_37_2","first-page":"138","volume-title":"Proc. IEEE Internat. Symposium on Logic Programming","author":"Reddy Uday\u00a0S.","year":"1985","unstructured":"Uday\u00a0S. Reddy. 1985. Narrowing as the Operational Semantics of Functional Languages. In Proc. IEEE Internat. Symposium on Logic Programming. Boston, 138\u2013151."},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-259"},{"key":"e_1_3_3_2_40_2","first-page":"81","volume-title":"Scheme and Functional Programming Workshop","author":"Siek Jeremy\u00a0G.","year":"2006","unstructured":"Jeremy\u00a0G. Siek and Walid Taha. 2006. Gradual Typing for Functional Languages. In Scheme and Functional Programming Workshop (Portland, Oregon, USA). 81\u201392. http:\/\/scheme2006.cs.uchicago.edu\/13-siek.pdf"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"publisher","unstructured":"James\u00a0R. Slagle. 1974. Automated Theorem-Proving for Theories with Simplifiers Commutativity and Associativity. J. ACM 21 4 (1974) 622\u2013642. 10.1145\/321850.321859","DOI":"10.1145\/321850.321859"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","unstructured":"Zoltan Somogyi Fergus Henderson and Thomas Conway. 1996. The Execution Algorithm of Mercury an Efficient Purely Declarative Logic Programming Language. The Journal of Logic Programming 29 1-3 (1996) 17\u201364. 10.1016\/S0743-1066(96)00068-4","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.4230\/OASICS.EVCS.2023.24"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","unstructured":"Philip Wadler. 1997. How to Declare an Imperative. Comput. Surveys 29 3 (1997) 240\u2013263. 10.1145\/262009.262011","DOI":"10.1145\/262009.262011"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"PPDP '25: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming","location":"Rende Italy","acronym":"PPDP '25"},"container-title":["Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3756907.3756915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:16Z","timestamp":1765617556000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3756907.3756915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":46,"alternative-id":["10.1145\/3756907.3756915","10.1145\/3756907"],"URL":"https:\/\/doi.org\/10.1145\/3756907.3756915","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]},"assertion":[{"value":"2025-12-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}