{"id":"https://openalex.org/W3038650562","doi":"https://doi.org/10.1145/3386336","title":"The history of Standard ML","display_name":"The history of Standard ML","publication_year":2020,"publication_date":"2020-06-12","ids":{"openalex":"https://openalex.org/W3038650562","doi":"https://doi.org/10.1145/3386336","mag":"3038650562"},"language":"en","primary_location":{"id":"doi:10.1145/3386336","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3386336","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3386336","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3386336","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109205803","display_name":"David MacQueen","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David MacQueen","raw_affiliation_strings":["University of Chicago, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028720578","display_name":"Robert Harper","orcid":"https://orcid.org/0000-0002-9400-2941"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Harper","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030967328","display_name":"John Reppy","orcid":"https://orcid.org/0000-0002-5881-298X"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Reppy","raw_affiliation_strings":["University of Chicago, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5416,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.73387733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"4","issue":"HOPL","first_page":"1","last_page":"100"},"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.9997000098228455,"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.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9901000261306763,"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/type-inference","display_name":"Type inference","score":0.8688127994537354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7382277250289917},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6726467609405518},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6635298728942871},{"id":"https://openalex.org/keywords/metatheory","display_name":"Metatheory","score":0.6066893935203552},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.6025369167327881},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5930162668228149},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.41980868577957153},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.28821897506713867},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2799299955368042},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20278418064117432}],"concepts":[{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.8688127994537354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7382277250289917},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6726467609405518},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6635298728942871},{"id":"https://openalex.org/C39387531","wikidata":"https://www.wikidata.org/wiki/Q1096708","display_name":"Metatheory","level":2,"score":0.6066893935203552},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6025369167327881},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5930162668228149},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.41980868577957153},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.28821897506713867},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2799299955368042},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20278418064117432},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3386336","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3386336","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3386336","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3386336","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3386336","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3386336","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3038650562.pdf","grobid_xml":"https://content.openalex.org/works/W3038650562.grobid-xml"},"referenced_works_count":276,"referenced_works":["https://openalex.org/W2751752","https://openalex.org/W33252908","https://openalex.org/W42662152","https://openalex.org/W43402929","https://openalex.org/W80198721","https://openalex.org/W82028491","https://openalex.org/W93551109","https://openalex.org/W139821244","https://openalex.org/W159082583","https://openalex.org/W423145857","https://openalex.org/W569543113","https://openalex.org/W596943730","https://openalex.org/W1485978165","https://openalex.org/W1494199306","https://openalex.org/W1494407580","https://openalex.org/W1495087637","https://openalex.org/W1498580132","https://openalex.org/W1503871268","https://openalex.org/W1507387938","https://openalex.org/W1514000065","https://openalex.org/W1515796964","https://openalex.org/W1515836884","https://openalex.org/W1519496539","https://openalex.org/W1520200536","https://openalex.org/W1525356435","https://openalex.org/W1527809006","https://openalex.org/W1527827408","https://openalex.org/W1528018987","https://openalex.org/W1529049337","https://openalex.org/W1533525390","https://openalex.org/W1534508664","https://openalex.org/W1541185175","https://openalex.org/W1542954600","https://openalex.org/W1543726080","https://openalex.org/W1546727036","https://openalex.org/W1553136405","https://openalex.org/W1557045049","https://openalex.org/W1557254125","https://openalex.org/W1557561422","https://openalex.org/W1559765808","https://openalex.org/W1561087418","https://openalex.org/W1561824685","https://openalex.org/W1567587382","https://openalex.org/W1571331450","https://openalex.org/W1574919925","https://openalex.org/W1576530968","https://openalex.org/W1580664042","https://openalex.org/W1581498582","https://openalex.org/W1583597026","https://openalex.org/W1584951182","https://openalex.org/W1595372275","https://openalex.org/W1596289178","https://openalex.org/W1597474747","https://openalex.org/W1597824249","https://openalex.org/W1601695638","https://openalex.org/W1603860756","https://openalex.org/W1604916715","https://openalex.org/W1651122320","https://openalex.org/W1705071368","https://openalex.org/W1725475383","https://openalex.org/W1727609483","https://openalex.org/W1733208214","https://openalex.org/W1745702688","https://openalex.org/W1813304904","https://openalex.org/W1829244603","https://openalex.org/W1851310281","https://openalex.org/W1879332745","https://openalex.org/W1885197558","https://openalex.org/W1904607413","https://openalex.org/W1960494084","https://openalex.org/W1966975259","https://openalex.org/W1971107784","https://openalex.org/W1971933951","https://openalex.org/W1971957791","https://openalex.org/W1972174903","https://openalex.org/W1973165589","https://openalex.org/W1973312452","https://openalex.org/W1974190112","https://openalex.org/W1978035064","https://openalex.org/W1979240050","https://openalex.org/W1980939032","https://openalex.org/W1981830935","https://openalex.org/W1984807151","https://openalex.org/W1987755707","https://openalex.org/W1988152122","https://openalex.org/W1989760056","https://openalex.org/W1989916808","https://openalex.org/W1991348796","https://openalex.org/W1991450942","https://openalex.org/W1991660671","https://openalex.org/W1994257154","https://openalex.org/W1996404651","https://openalex.org/W1997150177","https://openalex.org/W1997608994","https://openalex.org/W1999662401","https://openalex.org/W1999764179","https://openalex.org/W1999862696","https://openalex.org/W2003298503","https://openalex.org/W2003960306","https://openalex.org/W2006638707","https://openalex.org/W2007809070","https://openalex.org/W2008037751","https://openalex.org/W2008395018","https://openalex.org/W2010152469","https://openalex.org/W2010459485","https://openalex.org/W2014889169","https://openalex.org/W2015888335","https://openalex.org/W2019376542","https://openalex.org/W2020543669","https://openalex.org/W2022683189","https://openalex.org/W2022949157","https://openalex.org/W2023299380","https://openalex.org/W2024092308","https://openalex.org/W2025431400","https://openalex.org/W2026557621","https://openalex.org/W2026790447","https://openalex.org/W2026942132","https://openalex.org/W2029079408","https://openalex.org/W2029360780","https://openalex.org/W2029649561","https://openalex.org/W2033540531","https://openalex.org/W2033619100","https://openalex.org/W2034589435","https://openalex.org/W2035625685","https://openalex.org/W2037023397","https://openalex.org/W2039906702","https://openalex.org/W2042968531","https://openalex.org/W2043416466","https://openalex.org/W2043698751","https://openalex.org/W2044758536","https://openalex.org/W2045041259","https://openalex.org/W2045255985","https://openalex.org/W2045313089","https://openalex.org/W2045663419","https://openalex.org/W2048569219","https://openalex.org/W2051837461","https://openalex.org/W2052822938","https://openalex.org/W2056310485","https://openalex.org/W2058821858","https://openalex.org/W2059416532","https://openalex.org/W2059895047","https://openalex.org/W2062145157","https://openalex.org/W2062727459","https://openalex.org/W2067976080","https://openalex.org/W2068336423","https://openalex.org/W2069107692","https://openalex.org/W2071599766","https://openalex.org/W2072419785","https://openalex.org/W2072722514","https://openalex.org/W2073544767","https://openalex.org/W2082919126","https://openalex.org/W2086179639","https://openalex.org/W2087272670","https://openalex.org/W2087875803","https://openalex.org/W2092632814","https://openalex.org/W2094455839","https://openalex.org/W2094945667","https://openalex.org/W2097230120","https://openalex.org/W2098456419","https://openalex.org/W2099305192","https://openalex.org/W2100738443","https://openalex.org/W2102832761","https://openalex.org/W2102976859","https://openalex.org/W2104204098","https://openalex.org/W2106348655","https://openalex.org/W2106718208","https://openalex.org/W2107821848","https://openalex.org/W2109131239","https://openalex.org/W2109798037","https://openalex.org/W2110196404","https://openalex.org/W2111534760","https://openalex.org/W2111823620","https://openalex.org/W2112920894","https://openalex.org/W2113180261","https://openalex.org/W2113757735","https://openalex.org/W2115989522","https://openalex.org/W2118229393","https://openalex.org/W2118349261","https://openalex.org/W2118567331","https://openalex.org/W2121465152","https://openalex.org/W2121787849","https://openalex.org/W2121993468","https://openalex.org/W2123505663","https://openalex.org/W2124324624","https://openalex.org/W2127382014","https://openalex.org/W2129133667","https://openalex.org/W2129256695","https://openalex.org/W2131129592","https://openalex.org/W2133171398","https://openalex.org/W2133639043","https://openalex.org/W2134093956","https://openalex.org/W2134112335","https://openalex.org/W2135652513","https://openalex.org/W2137783828","https://openalex.org/W2137865376","https://openalex.org/W2141157907","https://openalex.org/W2142550124","https://openalex.org/W2142797138","https://openalex.org/W2145782124","https://openalex.org/W2145945984","https://openalex.org/W2151156765","https://openalex.org/W2151275061","https://openalex.org/W2151650821","https://openalex.org/W2152432695","https://openalex.org/W2152944474","https://openalex.org/W2156964302","https://openalex.org/W2160464770","https://openalex.org/W2161017670","https://openalex.org/W2162053995","https://openalex.org/W2162569557","https://openalex.org/W2163672025","https://openalex.org/W2163976959","https://openalex.org/W2166089338","https://openalex.org/W2166822586","https://openalex.org/W2167017930","https://openalex.org/W2167506259","https://openalex.org/W2167822297","https://openalex.org/W2168280960","https://openalex.org/W2169347615","https://openalex.org/W2170257749","https://openalex.org/W2171691057","https://openalex.org/W2173093539","https://openalex.org/W2204310803","https://openalex.org/W2227683586","https://openalex.org/W2281417355","https://openalex.org/W2295135584","https://openalex.org/W2295347924","https://openalex.org/W2324922253","https://openalex.org/W2329766482","https://openalex.org/W2331695922","https://openalex.org/W2334571683","https://openalex.org/W2338036611","https://openalex.org/W2762541150","https://openalex.org/W2908243715","https://openalex.org/W2914260883","https://openalex.org/W2914640076","https://openalex.org/W2926633993","https://openalex.org/W2995576800","https://openalex.org/W2998052888","https://openalex.org/W3003314800","https://openalex.org/W3003916572","https://openalex.org/W3004319768","https://openalex.org/W3004658589","https://openalex.org/W3004785238","https://openalex.org/W3005342774","https://openalex.org/W3022537579","https://openalex.org/W3045454762","https://openalex.org/W3081755817","https://openalex.org/W3088534290","https://openalex.org/W3104337860","https://openalex.org/W3137662118","https://openalex.org/W3145485722","https://openalex.org/W3149536977","https://openalex.org/W3159097260","https://openalex.org/W3163573021","https://openalex.org/W4210539571","https://openalex.org/W4210903567","https://openalex.org/W4214857877","https://openalex.org/W4231717241","https://openalex.org/W4242393608","https://openalex.org/W4243990976","https://openalex.org/W4244641082","https://openalex.org/W4249075482","https://openalex.org/W4249245425","https://openalex.org/W4249903311","https://openalex.org/W4255428192","https://openalex.org/W4256124958","https://openalex.org/W4285719527","https://openalex.org/W4296611970","https://openalex.org/W4300410467","https://openalex.org/W4300974010","https://openalex.org/W4301005547","https://openalex.org/W6600636991","https://openalex.org/W6643383136","https://openalex.org/W6769074666","https://openalex.org/W6968585355"],"related_works":["https://openalex.org/W4251916054","https://openalex.org/W2886025031","https://openalex.org/W2964994766","https://openalex.org/W3122287590","https://openalex.org/W3201393941","https://openalex.org/W2561856298","https://openalex.org/W4233840857","https://openalex.org/W3038650562","https://openalex.org/W2066038668","https://openalex.org/W1522475667"],"abstract_inverted_index":{"The":[0,131,179,284],"ML":[1,97,114,184,204,299],"family":[2,57,98],"of":[3,19,36,47,58,70,99,108,119,133,145,153,170,182,188,197,223,229,238,245,290,304],"strict":[4,125],"functional":[5,121],"languages,":[6,59,100],"which":[7,50],"includes":[8],"F#,":[9],"OCaml,":[10],"and":[11,29,90,95,112,128,264,274,301,308],"Standard":[12,48,93,183,203],"ML,":[13,49,94,291],"evolved":[14],"from":[15,242],"the":[16,20,34,39,45,63,67,77,96,106,116,142,168,186,195,230,239,243,246,261,265,271,287,292,302,315,318],"Meta":[17],"Language":[18],"LCF":[21],"theorem":[22],"proving":[23],"system":[24,181],"developed":[25],"by":[26,176,209],"Robin":[27],"Milner":[28],"his":[30],"research":[31],"group":[32],"at":[33],"University":[35],"Edinburgh":[37],"in":[38,55,136],"1970s.":[40],"This":[41],"paper":[42,285],"focuses":[43],"on":[44,105,321],"history":[46,289],"plays":[51],"a":[52,120,150,207,211,216,297],"central":[53],"role":[54],"this":[56],"as":[60,162,227],"it":[61],"was":[62,236,268],"first":[64],"to":[65,161,191,260,270,295],"include":[66],"complete":[68],"set":[69,206],"features":[71,307],"that":[72,317],"we":[73],"now":[74],"associate":[75],"with":[76,85,124,141,172,194,219],"name":[78],"\u201cML\u201d":[79],"(i.e.,":[80],"polymorphic":[81],"type":[82,138,231],"inference,":[83],"datatypes":[84,171],"pattern":[86,177],"matching,":[87],"modules,":[88,199],"exceptions,":[89],"mutable":[91],"state).":[92],"have":[101],"had":[102,252,320],"enormous":[103],"influence":[104],"world":[107],"programming":[109,122,193],"language":[110,123,212,272,319],"design":[111,214,262],"theory.":[113],"is":[115,158],"foremost":[117],"exemplar":[118],"evaluation":[126],"(call-by-value)":[127],"static":[129,279],"typing.":[130],"use":[132],"parametric":[134,198],"polymorphism":[135,157],"its":[137,305,309],"system,":[139],"together":[140],"automatic":[143],"inference":[144],"such":[146],"types,":[147],"has":[148,166],"influenced":[149],"wide":[151],"variety":[152],"modern":[154],"languages":[155,251],"(where":[156],"often":[159],"referred":[160],"generics":[163],").":[164],"It":[165],"popularized":[167],"idea":[169],"associated":[173,221],"case":[174],"analysis":[175],"matching.":[178],"module":[180],"extends":[185],"notion":[187,196],"type-level":[189],"parameterization":[190],"large-scale":[192],"or":[200,278],"functors":[201],".":[202],"also":[205,313],"precedent":[208],"being":[210],"whose":[213],"included":[215],"formal":[217,234,266,310],"definition":[218,235],"an":[220],"metatheory":[222],"mathematical":[224],"proofs":[225],"(such":[226],"soundness":[228],"system).":[232],"A":[233],"one":[237],"explicit":[240],"goals":[241],"beginning":[244],"project.":[247],"While":[248],"some":[249],"previous":[250],"rigorous":[253],"definitions,":[254],"these":[255],"definitions":[256],"were":[257],"not":[258,282],"integral":[259],"process,":[263],"part":[267],"limited":[269],"syntax":[273],"possibly":[275],"dynamic":[276],"semantics":[277],"semantics,":[280],"but":[281],"both.":[283],"covers":[286],"early":[288],"subsequent":[293],"efforts":[294],"define":[296],"standard":[298],"language,":[300],"development":[303],"major":[306],"definition.":[311],"We":[312],"review":[314],"impact":[316],"programming-language":[322],"research.":[323]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}