{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:50Z","timestamp":1750307210938,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,23]],"date-time":"2012-01-23T00:00:00Z","timestamp":1327276800000},"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":[[2012,1,23]]},"DOI":"10.1145\/2103746.2103763","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T16:47:19Z","timestamp":1327423639000},"page":"83-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Well-typed narrowing with extra variables in functional-logic programming"],"prefix":"10.1145","author":[{"given":"Francisco","family":"L\u00f3pez-Fraguas","sequence":"first","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"Martin-Martin","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Rodr\u00edguez-Hortal\u00e1","sequence":"additional","affiliation":[{"name":"Universidad Complutense de Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647709.734946"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/773184.773205"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721675"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646189.683549"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/347476.347484"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_3_2_1_7_1","unstructured":"B. Brassel. Two to three ways to write an unsafe type cast without importing unsafe - Curry mailing list. http:\/\/www.informatik.uni-kiel.de\/ curry\/listarchive\/0705.html May 2008.  B. Brassel. Two to three ways to write an unsafe type cast without importing unsafe - Curry mailing list. http:\/\/www.informatik.uni-kiel.de\/ curry\/listarchive\/0705.html May 2008."},{"key":"e_1_3_2_1_8_1","first-page":"30","volume-title":"Reck Transforming Functional Logic Programs into Monadic Functional Programs In Proc. 19th Int. Work. on Functional and (Constraint) Logic Programming (WFLP'10)","author":"Brassel B.","year":"2011","unstructured":"B. Brassel , S. Fischer , M. Hanus and F. Reck Transforming Functional Logic Programs into Monadic Functional Programs In Proc. 19th Int. Work. on Functional and (Constraint) Logic Programming (WFLP'10) , Springer LNCS 6559, pages 30 -- 47 , 2011 . B. Brassel, S. Fischer, M. Hanus and F. Reck Transforming Functional Logic Programs into Monadic Functional Programs In Proc. 19th Int. Work. on Functional and (Constraint) Logic Programming (WFLP'10), Springer LNCS 6559, pages 30--47, 2011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_10_1","volume-title":"Universidad Compluetense de Madrid","author":"del Vado V\u0131rseda R.","year":"2002","unstructured":"R. del Vado V\u0131rseda . Estrategias de estrechamiento perezoso. Master's thesis , Universidad Compluetense de Madrid , 2002 . R. del Vado V\u0131rseda. Estrategias de estrechamiento perezoso. Master's thesis, Universidad Compluetense de Madrid, 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/230211"},{"key":"e_1_3_2_1_12_1","first-page":"153","volume-title":"Proc. 14th Int. Conf. on Logic Programming (ICLP'97)","author":"Gonz\u00e1lez-Moreno J.","year":"1997","unstructured":"J. Gonz\u00e1lez-Moreno , T. Hortal\u00e1-Gonz\u00e1lez , and M. Rodr\u00edguez-Artalejo . A higher order rewriting logic for functional logic programming . In Proc. 14th Int. Conf. on Logic Programming (ICLP'97) , pages 153 -- 167 . MIT Press , 1997 . J. Gonz\u00e1lez-Moreno, T. Hortal\u00e1-Gonz\u00e1lez, and M. Rodr\u00edguez-Artalejo. A higher order rewriting logic for functional logic programming. In Proc. 14th Int. Conf. on Logic Programming (ICLP'97), pages 153--167. MIT Press, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"issue":"1","key":"e_1_3_2_1_14_1","article-title":"Polymorphic types in functional logic programming","volume":"2001","author":"Gonz\u00e1lez-Moreno J.","year":"2001","unstructured":"J. Gonz\u00e1lez-Moreno , T. Hortal\u00e1-Gonz\u00e1lez , and M. Rodr\u00edguez-Artalejo . Polymorphic types in functional logic programming . Journal of Functional and Logic Programming , 2001 ( 1 ), July 2001 . J. Gonz\u00e1lez-Moreno, T. Hortal\u00e1-Gonz\u00e1lez, and M. Rodr\u00edguez-Artalejo. Polymorphic types in functional logic programming. Journal of Functional and Logic Programming, 2001 (1), July 2001.","journal-title":"Journal of Functional and Logic Programming"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1778180.1778187"},{"key":"e_1_3_2_1_16_1","unstructured":"M. Hanus (ed.). Curry: An integrated functional logic language (version 0.8.2). http:\/\/www.informatik.uni-kiel.de\/ curry\/report.html March 2006.  M. Hanus (ed.). Curry: An integrated functional logic language (version 0.8.2). http:\/\/www.informatik.uni-kiel.de\/ curry\/report.html March 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351292"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/648224.748980"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186031"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1947873.1947882"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11999-6_9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647198.718553"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788446.1788463"},{"key":"e_1_3_2_1_26_1","first-page":"67","volume-title":"Workshop of Working Group 2.1.4 of the German Computing Science Association GI","author":"Lux W.","year":"2008","unstructured":"W. Lux . Adding Haskell-style overloading to Curry . In Workshop of Working Group 2.1.4 of the German Computing Science Association GI , pages 67 -- 76 , 2008 . W. Lux. Adding Haskell-style overloading to Curry. In Workshop of Working Group 2.1.4 of the German Computing Science Association GI, pages 67--76, 2008."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357169"},{"key":"e_1_3_2_1_28_1","volume-title":"Universidad Complutense de Madrid","author":"Martin-Martin E.","year":"2009","unstructured":"E. Martin-Martin . Advances in type systems for functional logic programming. Master's thesis , Universidad Complutense de Madrid , July 2009 . http:\/\/gpd.sip.ucm.es\/enrique\/publications\/master\/masterThesis.pdf. E. Martin-Martin. Advances in type systems for functional logic programming. Master's thesis, Universidad Complutense de Madrid, July 2009. http:\/\/gpd.sip.ucm.es\/enrique\/publications\/master\/masterThesis.pdf."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929524"},{"key":"e_1_3_2_1_30_1","first-page":"202","volume-title":"Constraints in Computational Logics","author":"Rodr\u00edguez-Artalejo M.","year":"2002","unstructured":"M. Rodr\u00edguez-Artalejo . Functional and constraint logic programming . In Constraints in Computational Logics , pages 202 -- 270 . Springer LNCS 2002 , 2001. M. Rodr\u00edguez-Artalejo. Functional and constraint logic programming. In Constraints in Computational Logics, pages 202--270. Springer LNCS 2002, 2001."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/647166.717981"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Philadelphia Pennsylvania USA","acronym":"POPL '12"},"container-title":["Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103746.2103763","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103746.2103763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:35Z","timestamp":1750241195000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103746.2103763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,23]]},"references-count":31,"alternative-id":["10.1145\/2103746.2103763","10.1145\/2103746"],"URL":"https:\/\/doi.org\/10.1145\/2103746.2103763","relation":{},"subject":[],"published":{"date-parts":[[2012,1,23]]},"assertion":[{"value":"2012-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}