{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:02:26Z","timestamp":1767927746494,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T00:00:00Z","timestamp":1410134400000},"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":[[2014,9,8]]},"DOI":"10.1145\/2643135.2643147","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"19-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Parametricity and Proving Free Theorems for Functional-Logic Languages"],"prefix":"10.1145","author":[{"given":"Stefan","family":"Mehner","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Informatik, Universit\u00e4t Bonn"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Seidel","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Universit\u00e4t Bonn"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Stra\u00dfburger","sequence":"additional","affiliation":[{"name":"INRIA & LIX, Ecole Polytechnique"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janis","family":"Voigtl\u00e4nder","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Universit\u00e4t Bonn"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"122","volume-title":"APLAS, Proceedings","author":"Bra\u00dfel B.","year":"2007","unstructured":"B. Bra\u00dfel and F. Huch . On a tighter integration of functional and logic programming . In APLAS, Proceedings , volume 4807 of LNCS , pages 122 -- 138 . Springer , 2007 . B. Bra\u00dfel and F. Huch. On a tighter integration of functional and logic programming. In APLAS, Proceedings, volume 4807 of LNCS, pages 122--138. Springer, 2007."},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"30","volume-title":"WFLP","author":"Bra\u00dfel B.","year":"2010","unstructured":"B. Bra\u00dfel , S. Fischer , M. Hanus , and F. Reck . Transforming functional logic programs into monadic functional programs . In WFLP 2010 , Revised Selected Papers, volume 6559 of LNCS , pages 30 -- 47 . Springer , 2011. B. Bra\u00dfel, S. Fischer, M. Hanus, and F. Reck. Transforming functional logic programs into monadic functional programs. In WFLP 2010, Revised Selected Papers, volume 6559 of LNCS, pages 30--47. Springer, 2011."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1707790.1707797"},{"key":"e_1_3_2_1_5_1","series-title":"LNCS","first-page":"119","volume-title":"WFLP","author":"Christiansen J.","year":"2010","unstructured":"J. Christiansen , D. Seidel , and J. Voigtl\u00e4nder . An adequate, denotational, functional-style semantics for Typed FlatCurry . In WFLP 2010 , Revised Selected Papers, volume 6559 of LNCS , pages 119 -- 136 . Springer , 2011. J. Christiansen, D. Seidel, and J. Voigtl\u00e4nder. An adequate, denotational, functional-style semantics for Typed FlatCurry. In WFLP 2010, Revised Selected Papers, volume 6559 of LNCS, pages 119--136. Springer, 2011."},{"key":"e_1_3_2_1_6_1","volume-title":"An adequate, denotational, functional-style semantics for Typed FlatCurry without Letrec. Technical report","author":"Christiansen J.","year":"2011","unstructured":"J. Christiansen , D. Seidel , and J. Voigtl\u00e4nder . An adequate, denotational, functional-style semantics for Typed FlatCurry without Letrec. Technical report , University of Bonn , 2011 . http:\/\/www.iai.uni-bonn.de\/~jv\/IAI-TR-2011-1.pdf. J. Christiansen, D. Seidel, and J. Voigtl\u00e4nder. An adequate, denotational, functional-style semantics for Typed FlatCurry without Letrec. Technical report, University of Bonn, 2011. http:\/\/www.iai.uni-bonn.de\/~jv\/IAI-TR-2011-1.pdf."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505879.2505896"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"123","volume-title":"Programming Logics --- Essays in Memory of Harald Ganzinger","author":"Hanus M.","year":"2013","unstructured":"M. Hanus . Functional logic programming: From theory to Curry . In Programming Logics --- Essays in Memory of Harald Ganzinger , volume 7797 of LNCS , pages 123 -- 168 . Springer , 2013 . M. Hanus. Functional logic programming: From theory to Curry. In Programming Logics --- Essays in Memory of Harald Ganzinger, volume 7797 of LNCS, pages 123--168. Springer, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90026-Y"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"244","volume-title":"RTA, Proceedings","author":"L\u00f3pez-Fraguas F.","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez . TOY: A multiparadigm declarative system . In RTA, Proceedings , volume 1631 of LNCS , pages 244 -- 247 . Springer , 1999 . F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A multiparadigm declarative system. In RTA, Proceedings, volume 1631 of LNCS, pages 244--247. Springer, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.05.042"},{"key":"e_1_3_2_1_14_1","volume-title":"Relational parametricity for computational effects. Log. Meth. Comput. Sci., 5(3)","author":"M\u00f8gelberg R.","year":"2009","unstructured":"R. M\u00f8gelberg and A. Simpson . Relational parametricity for computational effects. Log. Meth. Comput. Sci., 5(3) , 2009 . R. M\u00f8gelberg and A. Simpson. Relational parametricity for computational effects. Log. Meth. Comput. Sci., 5(3), 2009."},{"key":"e_1_3_2_1_15_1","first-page":"513","volume-title":"Information Processing, Proceedings","author":"Reynolds J.","year":"1983","unstructured":"J. Reynolds . Types, abstraction and parametric polymorphism . In Information Processing, Proceedings , pages 513 -- 523 . Elsevier , 1983 . J. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing, Proceedings, pages 513--523. Elsevier, 1983."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480904"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"}],"event":{"name":"PPDP '14: 16th International Symposium on Principles and Practice of Declarative Programming","location":"Canterbury United Kingdom","acronym":"PPDP '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2643135.2643147","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2643135.2643147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:01Z","timestamp":1750230061000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2643135.2643147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,8]]},"references-count":17,"alternative-id":["10.1145\/2643135.2643147","10.1145\/2643135"],"URL":"https:\/\/doi.org\/10.1145\/2643135.2643147","relation":{},"subject":[],"published":{"date-parts":[[2014,9,8]]},"assertion":[{"value":"2014-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}