{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:10Z","timestamp":1750308910788,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,8,24]],"date-time":"2004-08-24T00:00:00Z","timestamp":1093305600000},"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":[[2004,8,24]]},"DOI":"10.1145\/1013963.1013974","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"67-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Constraint-set satisfiability for overloading"],"prefix":"10.1145","author":[{"given":"Carlos","family":"Camar\u00e3o","sequence":"first","affiliation":[{"name":"University Fed. de Minas Gerais, Belo Horizonte, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc\u00edlia","family":"Figueiredo","sequence":"additional","affiliation":[{"name":"University Federal de Ouro Preto, Ouro Preto, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristiano","family":"Vasconcellos","sequence":"additional","affiliation":[{"name":"Pontif\u00edcia University Cat\u00f3lica do Paran\u00e1, Curitiba, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,8,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646189.683411"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141536"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_4_1","volume-title":"UFMG","author":"Figueiredo Luc\u00edlia","year":"2003","unstructured":"Luc\u00edlia Figueiredo , Carlos Camar\u00e3o and Cristiano Vasconcellos . Constraint-set Satisfiability for Overloading. Technical report , UFMG , 2003 . Luc\u00edlia Figueiredo, Carlos Camar\u00e3o and Cristiano Vasconcellos. Constraint-set Satisfiability for Overloading. Technical report, UFMG, 2003."},{"key":"e_1_3_2_1_6_1","volume-title":"Stuckey. Type Constraint Solving for Parametric and Ad-hoc Polymorphism. In Proceedings of the 22nd Australasian Computer Science Conference","author":"Demoen Bart","year":"1999","unstructured":"Bart Demoen , Mar\u00eda Garc\u00eda de la Banda, and Peter J . Stuckey. Type Constraint Solving for Parametric and Ad-hoc Polymorphism. In Proceedings of the 22nd Australasian Computer Science Conference , 1999 . Bart Demoen, Mar\u00eda Garc\u00eda de la Banda, and Peter J. Stuckey. Type Constraint Solving for Parametric and Ad-hoc Polymorphism. In Proceedings of the 22nd Australasian Computer Science Conference, 1999."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050035"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00129-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004233"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/169701.169692"},{"key":"e_1_3_2_1_13_1","volume-title":"Cambridge University Press","author":"Jones Mark","year":"1994","unstructured":"Mark Jones . Qualified Types . Cambridge University Press , 1994 . Mark Jones. Qualified Types. Cambridge University Press, 1994."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001210"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645387.651547"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90009-0"},{"key":"e_1_3_2_1_20_1","volume-title":"Foundations for Programming Languages","author":"Mitchell John","year":"1996","unstructured":"John Mitchell . Foundations for Programming Languages . MIT Press , 1996 . John Mitchell. Foundations for Programming Languages. MIT Press, 1996."},{"issue":"1","key":"e_1_3_2_1_21_1","first-page":"1","article-title":"Type Reconstruction for Type Classes","volume":"1","author":"Nipkow Tobias","year":"1993","unstructured":"Tobias Nipkow and Christian Prehofer . Type Reconstruction for Type Classes . Journal of Functional Programming , 1 ( 1 ): 1 -- 100 , 1993 . Tobias Nipkow and Christian Prehofer. Type Reconstruction for Type Classes. Journal of Functional Programming, 1(1):1--100, 1993.","journal-title":"Journal of Functional Programming"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224195"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)00130-8"},{"key":"e_1_3_2_1_25_1","volume-title":"Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01)","author":"Shields Mark","year":"2001","unstructured":"Mark Shields and Simon Peyton Jones . Object-oriented style overloading for Haskell . In Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01) , 2001 . Available at http:\/\/haskell.readscheme.org\/lang_sem.html. Mark Shields and Simon Peyton Jones. Object-oriented style overloading for Haskell. In Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01), 2001. Available at http:\/\/haskell.readscheme.org\/lang_sem.html."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00020-4"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581495"},{"issue":"8","key":"e_1_3_2_1_29_1","first-page":"873","article-title":"A Practical Type Inference for Polymorphic Recursion using Haskell","volume":"9","author":"Vasconcellos Cristiano","year":"2003","unstructured":"Cristiano Vasconcellos , Luc\u00edlia Figueiredo , and Carlos Camar\u00e3o . A Practical Type Inference for Polymorphic Recursion using Haskell . Journal of Universal Computer Science , 9 ( 8 ): 873 -- 890 , 2003 . Cristiano Vasconcellos, Luc\u00edlia Figueiredo, and Carlos Camar\u00e3o. A Practical Type Inference for Polymorphic Recursion using Haskell. Journal of Universal Computer Science, 9(8):873--890, 2003.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1994.288390"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00184-0"},{"key":"e_1_3_2_1_32_1","first-page":"15","volume-title":"Proceedings of the ACM Symposium on Functional Programming and Computer Architecture., number 523 in Lecture Notes in Computer Science","author":"Volpano Dennis","year":"1991","unstructured":"Dennis Volpano and Geoffrey Smith . On the Complexity of ML Typability with Overloading . In Proceedings of the ACM Symposium on Functional Programming and Computer Architecture., number 523 in Lecture Notes in Computer Science , pages 15 -- 28 , 1991 . Dennis Volpano and Geoffrey Smith. On the Complexity of ML Typability with Overloading. In Proceedings of the ACM Symposium on Functional Programming and Computer Architecture., number 523 in Lecture Notes in Computer Science, pages 15--28, 1991."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"PPDP04: Principles and Practice of Declarative Programming 2004","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Verona Italy","acronym":"PPDP04"},"container-title":["Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1013963.1013974","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1013963.1013974","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:26:21Z","timestamp":1750281981000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1013963.1013974"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8,24]]},"references-count":29,"alternative-id":["10.1145\/1013963.1013974","10.1145\/1013963"],"URL":"https:\/\/doi.org\/10.1145\/1013963.1013974","relation":{},"subject":[],"published":{"date-parts":[[2004,8,24]]},"assertion":[{"value":"2004-08-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}