{"id":"https://openalex.org/W3178353844","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/5","title":"A Functional Programming Language with Versions","display_name":"A Functional Programming Language with Versions","publication_year":2021,"publication_date":"2021-07-15","ids":{"openalex":"https://openalex.org/W3178353844","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/5","mag":"3178353844"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2022/6/5","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/5","pdf_url":"https://arxiv.org/pdf/2107.07301v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2107.07301v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022604781","display_name":"Yudai Tanabe","orcid":"https://orcid.org/0000-0002-7990-0989"},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yudai Tanabe","raw_affiliation_strings":["Tokyo Institute of Technology, Japan"],"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005553540","display_name":"Luthfan Anshar Lubis","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Luthfan Anshar Lubis","raw_affiliation_strings":["Tokyo Institute of Technology, Japan"],"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070909210","display_name":"Tomoyuki Aotani","orcid":"https://orcid.org/0000-0003-4538-0230"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tomoyuki Aotani","raw_affiliation_strings":["Mamezou, Japan"],"affiliations":[{"raw_affiliation_string":"Mamezou, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079977725","display_name":"Hidehiko Masuhara","orcid":"https://orcid.org/0000-0002-8837-5303"},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hidehiko Masuhara","raw_affiliation_strings":["Tokyo Institute of Technology, Japan"],"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology, Japan","institution_ids":["https://openalex.org/I114531698"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022604781"],"corresponding_institution_ids":["https://openalex.org/I114531698"],"apc_list":null,"apc_paid":null,"fwci":0.2799,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.63335641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"6","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980000257492065,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/programming-language","display_name":"Programming language","score":0.7741957902908325},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7352076172828674},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.6251686215400696},{"id":"https://openalex.org/keywords/software-versioning","display_name":"Software versioning","score":0.5938968062400818},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5197229385375977},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4142984449863434},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38650453090667725}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7741957902908325},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7352076172828674},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.6251686215400696},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.5938968062400818},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5197229385375977},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4142984449863434},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38650453090667725}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2022/6/5","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/5","pdf_url":"https://arxiv.org/pdf/2107.07301v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2107.07301","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2107.07301","pdf_url":"https://arxiv.org/pdf/2107.07301","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:t2r2.star.titech.ac.jp:50694711","is_oa":false,"landing_page_url":"http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100914647","pdf_url":null,"source":{"id":"https://openalex.org/S4377196385","display_name":"Tokyo Tech Research Repository (Tokyo Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114531698","host_organization_name":"Tokyo Institute of Technology","host_organization_lineage":["https://openalex.org/I114531698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2022/6/5","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/5","pdf_url":"https://arxiv.org/pdf/2107.07301v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1069223013","display_name":null,"funder_award_id":"JSPS KAKENHI","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4636223006","display_name":null,"funder_award_id":"JSPS KAK","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3178353844.pdf","grobid_xml":"https://content.openalex.org/works/W3178353844.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W15833160","https://openalex.org/W111511002","https://openalex.org/W963005328","https://openalex.org/W1494019345","https://openalex.org/W1522250664","https://openalex.org/W1591471358","https://openalex.org/W1949851419","https://openalex.org/W1963857392","https://openalex.org/W1989385531","https://openalex.org/W1995008247","https://openalex.org/W2016954568","https://openalex.org/W2023799988","https://openalex.org/W2059639972","https://openalex.org/W2084240154","https://openalex.org/W2116844130","https://openalex.org/W2121797471","https://openalex.org/W2137282578","https://openalex.org/W2296335794","https://openalex.org/W2337042987","https://openalex.org/W2548749170","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W2953482240","https://openalex.org/W2963748706","https://openalex.org/W2964755768","https://openalex.org/W3109054533","https://openalex.org/W3117925125"],"related_works":["https://openalex.org/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W4312309273","https://openalex.org/W2132325017","https://openalex.org/W1923258046","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W2788308474","https://openalex.org/W2968873290"],"abstract_inverted_index":{"While":[0],"modern":[1],"software":[2,21],"development":[3],"heavily":[4],"uses":[5],"versioned":[6,72],"packages,":[7],"programming":[8,31,119],"languages":[9,120],"rarely":[10],"support":[11,47],"the":[12,83,86,105],"concept":[13],"of":[14,58,85,92,107,111,125],"versions":[15,49,97,112,124],"in":[16,50],"their":[17],"semantics,":[18],"which":[19],"makes":[20],"updates":[22],"more":[23],"bulky":[24],"and":[25,53,145],"unsafe.":[26],"This":[27],"paper":[28],"proposes":[29],"a":[30,55,108,114,126,129,135],"language":[32,44,140],"that":[33],"intrinsically":[34],"supports":[35],"versions.":[36,80],"The":[37,64,101,116],"main":[38],"goals":[39],"are":[40],"to":[41,46,98,121],"design":[42],"core":[43,66],"features":[45,141],"multiple":[48,123],"one":[51],"program":[52],"establish":[54],"proper":[56],"notion":[57],"type":[59,87,102],"safety":[60],"with":[61],"those":[62],"features.":[63],"proposed":[65],"calculus,":[67],"called":[68],"Lambda":[69],"VL,":[70],"has":[71],"values,":[73],"each":[74],"containing":[75],"different":[76,79],"values":[77],"under":[78],"We":[81],"show":[82],"construction":[84],"system":[88,103],"as":[89,134],"an":[90],"extension":[91],"coeffect":[93],"calculus":[94,117],"by":[95],"mapping":[96],"computational":[99],"resources.":[100],"guarantees":[104],"existence":[106],"valid":[109],"combination":[110],"for":[113,137],"program.":[115,130],"enables":[118],"use":[122],"package":[127],"within":[128],"It":[131],"will":[132],"serve":[133],"basis":[136],"designing":[138],"advanced":[139],"like":[142],"module":[143],"systems":[144],"semantic":[146],"versioning.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}