{"id":"https://openalex.org/W2507631408","doi":"https://doi.org/10.1145/2951913.2951918","title":"Compact bit encoding schemes for simply-typed lambda-terms","display_name":"Compact bit encoding schemes for simply-typed lambda-terms","publication_year":2016,"publication_date":"2016-08-29","ids":{"openalex":"https://openalex.org/W2507631408","doi":"https://doi.org/10.1145/2951913.2951918","mag":"2507631408"},"language":"en","primary_location":{"id":"doi:10.1145/2951913.2951918","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088272336","display_name":"Kotaro Takeda","orcid":"https://orcid.org/0000-0002-0446-4043"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Kotaro Takeda","raw_affiliation_strings":["University of Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100772473","display_name":"Naoki Kobayashi","orcid":"https://orcid.org/0000-0002-0537-0604"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Naoki Kobayashi","raw_affiliation_strings":["University of Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053364388","display_name":"Kazuya Yaguchi","orcid":null},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuya Yaguchi","raw_affiliation_strings":["Tohoku University, Japan"],"affiliations":[{"raw_affiliation_string":"Tohoku University, Japan","institution_ids":["https://openalex.org/I201537933"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071075962","display_name":"Ayumi Shinohara","orcid":"https://orcid.org/0000-0002-4978-8316"},"institutions":[{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ayumi Shinohara","raw_affiliation_strings":["Tohoku University, Japan"],"affiliations":[{"raw_affiliation_string":"Tohoku University, Japan","institution_ids":["https://openalex.org/I201537933"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088272336"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.8569,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83762604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"146","last_page":"157"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9911999702453613,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.7109319567680359},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.683620810508728},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6390438079833984},{"id":"https://openalex.org/keywords/bit","display_name":"Bit (key)","score":0.5942065715789795},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.40023234486579895},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2238413393497467},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.19262492656707764},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12812906503677368},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10347351431846619},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.10069260001182556}],"concepts":[{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.7109319567680359},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.683620810508728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6390438079833984},{"id":"https://openalex.org/C117011727","wikidata":"https://www.wikidata.org/wiki/Q1278488","display_name":"Bit (key)","level":2,"score":0.5942065715789795},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.40023234486579895},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2238413393497467},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.19262492656707764},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12812906503677368},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10347351431846619},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.10069260001182556}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2951913.2951918","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5}],"awards":[{"id":"https://openalex.org/G5839679889","display_name":null,"funder_award_id":"15H05706","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W43882553","https://openalex.org/W1484484268","https://openalex.org/W1975575519","https://openalex.org/W2059504991","https://openalex.org/W2093076589","https://openalex.org/W2105450475","https://openalex.org/W2111762594","https://openalex.org/W2129652681","https://openalex.org/W2133567912","https://openalex.org/W2143934903","https://openalex.org/W2568721247","https://openalex.org/W4398173084"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4327546585","https://openalex.org/W2411923897","https://openalex.org/W4394546135","https://openalex.org/W4285347720","https://openalex.org/W2951695430","https://openalex.org/W4403749602","https://openalex.org/W4200259850"],"abstract_inverted_index":{"We":[0,130],"consider":[1],"the":[2,47,59,73,95,128],"problem":[3],"of":[4,82,123],"how":[5],"to":[6,51,93,97],"compactly":[7,57],"encode":[8],"simply-typed":[9],"\u03bb-terms":[10,60],"into":[11,61,79],"bit":[12,62,99,146],"strings.":[13,63],"The":[14,101],"work":[15,24],"has":[16,50],"been":[17],"motivated":[18],"by":[19,84],"Kobayashi":[20],"et":[21],"al.\u2019s":[22],"recent":[23],"on":[25],"higher-order":[26],"data":[27,30],"compression,":[28],"where":[29],"are":[31],"encoded":[32],"as":[33],"functional":[34],"programs":[35],"(or,":[36],"\u03bb-terms)":[37],"that":[38,113,137],"generate":[39],"them.":[40],"To":[41,64],"exploit":[42],"its":[43],"good":[44],"compression":[45,48],"power,":[46],"scheme":[49],"come":[52],"with":[53],"a":[54,77,80,98,109,121],"method":[55],"for":[56,127,149],"encoding":[58,147],"this":[65],"end,":[66],"we":[67,107],"propose":[68],"two":[69],"type-based":[70],"bit-encoding":[71],"schemes;":[72],"first":[74],"one":[75,103],"encodes":[76],"\u03bb-term":[78],"sequence":[81,96],"symbols":[83],"using":[85],"type":[86],"information,":[87],"and":[88,118,135],"then":[89,119],"applies":[90],"arithmetic":[91,124],"coding":[92,125],"convert":[94],"string.":[100],"second":[102],"is":[104],"more":[105,141],"sophisticated;":[106],"prepare":[108],"context-free":[110],"grammar":[111],"(CFG)":[112],"describes":[114],"only":[115],"well-typed":[116],"terms,":[117],"use":[120],"variation":[122],"specialized":[126],"CFG.":[129],"have":[131],"implemented":[132],"both":[133],"schemes":[134,148],"confirmed":[136],"they":[138],"often":[139],"output":[140],"compact":[142],"codes":[143],"than":[144],"previous":[145],"\u03bb-terms.":[150]},"counts_by_year":[{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-25T21:42:39.735039","created_date":"2025-10-10T00:00:00"}