{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:04Z","timestamp":1772164084867,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["15H05706"],"award-info":[{"award-number":["15H05706"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951918","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"146-157","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Compact bit encoding schemes for simply-typed lambda-terms"],"prefix":"10.1145","author":[{"given":"Kotaro","family":"Takeda","sequence":"first","affiliation":[{"name":"University of Tokyo, Japan"}]},{"given":"Naoki","family":"Kobayashi","sequence":"additional","affiliation":[{"name":"University of Tokyo, Japan"}]},{"given":"Kazuya","family":"Yaguchi","sequence":"additional","affiliation":[{"name":"Tohoku University, Japan"}]},{"given":"Ayumi","family":"Shinohara","sequence":"additional","affiliation":[{"name":"Tohoku University, Japan"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"128","volume-title":"Data Compression Conference 1998 (DCC98)","author":"Apostolico A.","year":"1998","unstructured":"A. Apostolico and S. Lonardi . Some theory and proactive of greedy off-line textual substitution . In Data Compression Conference 1998 (DCC98) , pages 119\u2013 128 , 1998 . A. Apostolico and S. Lonardi. Some theory and proactive of greedy off-line textual substitution. In Data Compression Conference 1998 (DCC98), pages 119\u2013128, 1998."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.9782"},{"key":"e_1_3_2_1_3_1","first-page":"392","volume-title":"Indagationes Mathematicae (Proceedings)","volume":"75","author":"De Bruijn Nicolaas Govert","unstructured":"Nicolaas Govert De Bruijn . Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem . In Indagationes Mathematicae (Proceedings) , volume 75 , pages 381\u2013 392 . Elsevier, 1972. Nicolaas Govert De Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem. In Indagationes Mathematicae (Proceedings), volume 75, pages 381\u2013392. Elsevier, 1972."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 31th JSSST 2014, 31:346\u2013 359","author":"Takeda K. Matsuda K.","year":"2014","unstructured":"K. Matsuda K. Takeda , N. Kobayashi . Optimization of a repair-based higher-order compression algorithm . Proc. 31th JSSST 2014, 31:346\u2013 359 , 2014 . (in Japanese). K. Matsuda K. Takeda, N. Kobayashi. Optimization of a repair-based higher-order compression algorithm. Proc. 31th JSSST 2014, 31:346\u2013 359, 2014. (in Japanese)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000263"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-013-9093-z"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DCC.2011.42"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. Institution of Electronic and Radio Engineers International Conference on Video and Data Recording","author":"Martin G Nigel N","year":"1979","unstructured":"G Nigel N Martin . Range encoding: an algorithm for removing redundancy from a digitised message . In Proc. Institution of Electronic and Radio Engineers International Conference on Video and Data Recording , 1979 . G Nigel N Martin. Range encoding: an algorithm for removing redundancy from a digitised message. In Proc. Institution of Electronic and Radio Engineers International Conference on Video and Data Recording, 1979."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.2_and_3.103"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019462"},{"key":"e_1_3_2_1_11_1","unstructured":"Julian Seward. bzip2 : Home. http:\/\/bzip.org.  Julian Seward. bzip2 : Home. http:\/\/bzip.org."},{"key":"e_1_3_2_1_12_1","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Kolmogorov Complexity and Applications","author":"Tromp John","year":"2006","unstructured":"John Tromp . Binary lambda calculus and combinatory logic . In Kolmogorov Complexity and Applications , volume 06051 of Dagstuhl Seminar Proceedings , 2006 . John Tromp. Binary lambda calculus and combinatory logic. In Kolmogorov Complexity and Applications, volume 06051 of Dagstuhl Seminar Proceedings, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863548"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/214762.214771"}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:36Z","timestamp":1750203576000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":14,"alternative-id":["10.1145\/2951913.2951918","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951918","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951918","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}