{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:26Z","timestamp":1750307606844,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T00:00:00Z","timestamp":1263859200000},"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":[[2010,1,19]]},"DOI":"10.1145\/1707790.1707797","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T20:15:04Z","timestamp":1263932104000},"page":"39-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Free theorems for functional logic programs"],"prefix":"10.1145","author":[{"given":"Jan","family":"Christiansen","sequence":"first","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t Kiel, 24098 Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Seidel","sequence":"additional","affiliation":[{"name":"Rheinische Friedrich-Wilhelms-Universit\u00e4t Bonn, 53117 Bonn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janis","family":"Voigtl\u00e4nder","sequence":"additional","affiliation":[{"name":"Rheinische Friedrich-Wilhelms-Universit\u00e4t Bonn, 53117 Bonn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Albert E.","year":"2002","unstructured":"E. Albert , M. Hanus , F. Huch , J. Oliver , and G. Vidal . Operational semantics for functional logic languages . In Electronic Notes in Theoretical Computer Science , volume 76 . Elsevier , 2002 . doi: 10.1016\/S1571-0661(04)80782-5 10.1016\/S1571-0661(04)80782-5 E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational semantics for functional logic languages. In Electronic Notes in Theoretical Computer Science, volume 76. Elsevier, 2002. doi: 10.1016\/S1571-0661(04)80782-5"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.12.007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_9"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"189","volume-title":"Programming Languages: Implementations, Logics and Programs, Proceedings","author":"Barendsen E.","year":"1995","unstructured":"E. Barendsen and S. Smetsers . Uniqueness type inference . In Programming Languages: Implementations, Logics and Programs, Proceedings , volume 982 of LNCS , pages 189 -- 206 . Springer-Verlag , 1995 . doi: 10.1007\/BFb0026821 10.1007\/BFb0026821 E. Barendsen and S. Smetsers. Uniqueness type inference. In Programming Languages: Implementations, Logics and Programs, Proceedings, volume 982 of LNCS, pages 189--206. Springer-Verlag, 1995. doi: 10.1007\/BFb0026821"},{"key":"e_1_3_2_1_5_1","first-page":"195","volume-title":"International Conference Applications of Declarative Programming and Knowledge Management, INAP 2007, and Workshop on Logic Programming, WLP 2007, Revised Selected Papers","author":"Bra\u00dfel B.","year":"2009","unstructured":"B. Bra\u00dfel and F. Huch . The Kiel Curry system KiCS . In International Conference Applications of Declarative Programming and Knowledge Management, INAP 2007, and Workshop on Logic Programming, WLP 2007, Revised Selected Papers , pages 195 -- 205 . Springer-Verlag , 2009 . doi: 10.1007\/978-3-642-00675-3_13 10.1007\/978-3-642-00675-3_13 B. Bra\u00dfel and F. Huch. The Kiel Curry system KiCS. In International Conference Applications of Declarative Programming and Knowledge Management, INAP 2007, and Workshop on Logic Programming, WLP 2007, Revised Selected Papers, pages 195--205. Springer-Verlag, 2009. doi: 10.1007\/978-3-642-00675-3_13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785754.1785775"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/978-3-540-78969-7_23","volume-title":"Functional and Logic Programming, Proceedings","author":"Christiansen J.","year":"2008","unstructured":"J. Christiansen and S. Fischer . EasyCheck: Test data for free . In Functional and Logic Programming, Proceedings , volume 4989 of LNCS , pages 322 -- 336 . Springer-Verlag , 2008 . doi:10.1007\/978-3-540-78969-7_23 10.1007\/978-3-540-78969-7_23 J. Christiansen and S. Fischer. EasyCheck: Test data for free. In Functional and Logic Programming, Proceedings, volume 4989 of LNCS, pages 322--336. Springer-Verlag, 2008. doi:10.1007\/978-3-540-78969-7_23"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291216"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596556"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10029-8"},{"key":"e_1_3_2_1_12_1","volume-title":"editor","author":"Hanus M.","year":"2006","unstructured":"M. Hanus , editor . Curry : An Integrated Functional Logic Language (Vers . 0.8.2). 2006 . Available at http:\/\/curry-language.org M. Hanus, editor. Curry: An Integrated Functional Logic Language (Vers. 0.8.2). 2006. Available at http:\/\/curry-language.org"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1778180.1778187"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92995-6_2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004409"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291207"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788446.1788459"},{"key":"e_1_3_2_1_19_1","first-page":"513","volume-title":"Information Processing, Proceedings","author":"Reynolds J.C.","year":"1983","unstructured":"J.C. Reynolds . Types, abstraction and parametric polymorphism . In Information Processing, Proceedings , pages 513 -- 523 . Elsevier , 1983 . J.C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing, Proceedings, pages 513--523. Elsevier, 1983."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706356.1706373"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02273-9_22"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581491"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328412"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328445"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788446.1788465"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480904"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596577"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.09.014"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"}],"event":{"name":"POPL '10: The 37th 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":"Madrid Spain","acronym":"POPL '10"},"container-title":["Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1707790.1707797","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1707790.1707797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:36Z","timestamp":1750250736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1707790.1707797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,19]]},"references-count":29,"alternative-id":["10.1145\/1707790.1707797","10.1145\/1707790"],"URL":"https:\/\/doi.org\/10.1145\/1707790.1707797","relation":{},"subject":[],"published":{"date-parts":[[2010,1,19]]},"assertion":[{"value":"2010-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}