{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:47Z","timestamp":1750306607123,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,1]],"date-time":"2014-10-01T00:00:00Z","timestamp":1412121600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NLDA"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1145\/2746325.2746330","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Church Encoding of Data Types Considered Harmful for Implementations"],"prefix":"10.1145","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[{"name":"Radboud University, Institute for Computing and Information Sciences, Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University, Institute for Computing and Information Sciences, Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Martin","family":"Jansen","sequence":"additional","affiliation":[{"name":"Netherlands Defence Academy (NLDA), The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Types for the Scott numerals. Unpublished note","author":"Abadi M.","year":"1993","unstructured":"M. Abadi , L. Cardelli , and G. D. Plotkin . Types for the Scott numerals. Unpublished note , 1993 . URL http:\/\/lucacardelli.name\/Papers\/Notes\/scott2.pdf. M. Abadi, L. Cardelli, and G. D. Plotkin. Types for the Scott numerals. Unpublished note, 1993. URL http:\/\/lucacardelli.name\/Papers\/Notes\/scott2.pdf."},{"key":"e_1_3_2_1_2_1","volume-title":"The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics","author":"Barendregt H.","year":"1985","unstructured":"H. Barendregt . The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics . Elsevier Science , 1985 . ISBN 9780080933757. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Elsevier Science, 1985. ISBN 9780080933757."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2529641"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000149"},{"issue":"820076097","key":"e_1_3_2_1_5_1","first-page":"135","article-title":"Automatic synthesis of typed Lambda-programs on term algebras","volume":"39","author":"Berarducci A.","year":"1985","unstructured":"A. Berarducci and C. B\u00f6hm . Automatic synthesis of typed Lambda-programs on term algebras . Theoretical Computer Science , 39 ( 820076097 ): 135 -- 154 , 1985 . A. Berarducci and C. B\u00f6hm. Automatic synthesis of typed Lambda-programs on term algebras. Theoretical Computer Science, 39 (820076097):135--154, 1985.","journal-title":"Theoretical Computer Science"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647842.736403"},{"key":"e_1_3_2_1_7_1","first-page":"179","volume-title":"Formal Languages Description Languages for Computer Programming","author":"B\u00f6hm C.","year":"1966","unstructured":"C. B\u00f6hm . The CUCH as a formal and description language. In T. Steel, editor , Formal Languages Description Languages for Computer Programming , pages 179 -- 197 . North-Holland , 1966 . C. B\u00f6hm. The CUCH as a formal and description language. In T. Steel, editor, Formal Languages Description Languages for Computer Programming, pages 179--197. North-Holland, 1966."},{"key":"e_1_3_2_1_8_1","first-page":"35","volume-title":"Automata Theory","author":"B\u00f6hm C.","year":"1966","unstructured":"C. B\u00f6hm and W. Gross . Introduction to the CUCH . In E. Caianiello, editor, Automata Theory , pages 35 -- 65 , London, UK , 1966 . Academic Press . C. B\u00f6hm and W. Gross. Introduction to the CUCH. In E. Caianiello, editor, Automata Theory, pages 35--65, London, UK, 1966. Academic Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"C.\n      B\u00f6hm A.\n      Piperno and \n      S.\n      Guerrini\n  . \n  Lambda-definition of function(al)s by normal forms\n  . In D. Sannella editor ESOP volume \n  788\n   of \n  LNCS pages \n  135\n  --\n  149\n  . \n  Springer 1994\n  . .   C. B\u00f6hm A. Piperno and S. Guerrini. Lambda-definition of function(al)s by normal forms. In D. Sannella editor ESOP volume 788 of LNCS pages 135--149. Springer 1994. .","DOI":"10.1007\/3-540-57880-3_9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802799"},{"key":"e_1_3_2_1_11_1","volume-title":"The Calculi of Lambda-conversion. Annals of mathematics studies No. 6","author":"Church A.","year":"1941","unstructured":"A. Church . The Calculi of Lambda-conversion. Annals of mathematics studies No. 6 . Princeton University Press , 1941 . A. Church. The Calculi of Lambda-conversion. Annals of mathematics studies No. 6. Princeton University Press, 1941."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062850"},{"key":"e_1_3_2_1_13_1","volume-title":"Combinatory Logic","author":"Curry H. B.","year":"1972","unstructured":"H. B. Curry , J. R. Hindley , and J. P. Seldin . Combinatory Logic , Volume II . North-Holland , 1972 . H. B. Curry, J. R. Hindley, and J. P. Seldin. Combinatory Logic, Volume II. North-Holland, 1972."},{"key":"e_1_3_2_1_14_1","volume-title":"of Cambridge. Computer Laboratory. Design and Implementation of a Simple Typed Language Based on the Lambda-calculus","author":"Fairbairn J.","year":"1985","unstructured":"J. Fairbairn and U. of Cambridge. Computer Laboratory. Design and Implementation of a Simple Typed Language Based on the Lambda-calculus . Computer Laboratory Cambridge: Technical report. University of Cambridge , Computer Laboratory, 1985 . J. Fairbairn and U. of Cambridge. Computer Laboratory. Design and Implementation of a Simple Typed Language Based on the Lambda-calculus. Computer Laboratory Cambridge: Technical report. University of Cambridge, Computer Laboratory, 1985."},{"key":"e_1_3_2_1_15_1","volume-title":"Types 2014","author":"Geuvers H.","year":"2014","unstructured":"H. Geuvers . The Church-Scott representation of inductive and coinductive data . Types 2014 , Paris, Draft , 2014 . URL http:\/\/www.cs.ru.nl\/~herman\/PUBS\/ChurchScottDataTypes.pdf. H. Geuvers. The Church-Scott representation of inductive and coinductive data. Types 2014, Paris, Draft, 2014. URL http:\/\/www.cs.ru.nl\/~herman\/PUBS\/ChurchScottDataTypes.pdf."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005313"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006022"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_3_2_1_20_1","first-page":"73","volume-title":"Revised Selected Papers of the 7th TFP'06","author":"Jansen J.","year":"2006","unstructured":"J. Jansen , P. Koopman , and R. Plasmeijer . Efficient interpretation by transforming data types and patterns to functions . In H. Nilsson, editor, Revised Selected Papers of the 7th TFP'06 , volume 7 , pages 73 -- 90 , Nottingham, UK , 2006 . Intellect Books . J. Jansen, P. Koopman, and R. Plasmeijer. Efficient interpretation by transforming data types and patterns to functions. In H. Nilsson, editor, Revised Selected Papers of the 7th TFP'06, volume 7, pages 73--90, Nottingham, UK, 2006. Intellect Books."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88059-2_8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40355-2_12"},{"key":"e_1_3_2_1_24_1","volume-title":"Abstract computing machines: a Lambda-calculus perspective. Texts in theoretical computer science","author":"Kluge W.","year":"2005","unstructured":"W. Kluge . Abstract computing machines: a Lambda-calculus perspective. Texts in theoretical computer science . Springer , 2005 . ISBN 3-540-21146-2. W. Kluge. Abstract computing machines: a Lambda-calculus perspective. Texts in theoretical computer science. Springer, 2005. ISBN 3-540-21146-2."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250502"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/6.4.308"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000423"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85373-2_8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/645387.651559"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90042-E"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99385"},{"key":"e_1_3_2_1_32_1","unstructured":"R. Plasmeijer and M. van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002.  R. Plasmeijer and M. van Eekelen. Clean language report (version 2.1). http:\/\/clean.cs.ru.nl 2002."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291174"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/59287.77345"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/80098.80104"}],"event":{"name":"IFL '14: International Symposium on Implementation and Application of Functional Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Northeastern University"],"location":"Boston MA USA","acronym":"IFL '14"},"container-title":["Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746325.2746330","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2746325.2746330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:58Z","timestamp":1750227418000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746325.2746330"}},"subtitle":["Functional Pearl"],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":34,"alternative-id":["10.1145\/2746325.2746330","10.1145\/2746325"],"URL":"https:\/\/doi.org\/10.1145\/2746325.2746330","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]},"assertion":[{"value":"2014-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}