{“id”:“https://openalex.org/W1627774744“,”doi“:”https://doi.org/10.1007/978-3-642-60085-2_9“,”title“:“企业如何使用函数式语言,为什么不使用\u2019t”,”display_name“:”企业如何使用功能式语言,为何不使用\u 2019t“,”publication_year“:1999,”publitation_date“:”1999-01-01“,”ids“:{”openalex“:”https://openalex.org/W1627774744“,”doi“:”https://doi.org/10.1007/978-3-642-60085-2_9“,”mag“:”1627774744“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-642-60085-2_9“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4210212235“,”display_name“:”人工智能“,”issn_l“:”1431-0066“,”isn“:[”1431-066“],”is_oa“:false,”is-in_doaj“:false,”host_organization“:”https://openalex.org/P431031965“,”“host_organization_name”:“Springer Nature”,“host_organization_lineage”:[“https://openalex.org/P431031965“],”host_organization_lineage_names“:[”Springer Nature“],“type”:“book-series”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”book-chapter“,”type_crossref“:“book-chapter”,“indexed_in”:[”crossref“],‘open_access”:{“is_oa”:true,“oa_status”:“green”,“oa_url”:“”http://homepages.inf.ed.ac.uk/wadler/papers/how-and-why/how-and-why.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5018878077“,”display_name“:”Philip Wadler“,”orcid“:null},”institutions“:[],”countries“:[”US“],”is_corresponding“:true,”raw_author_name“:”Philip-Wadler”,“raw_affiliation_strings”:[”Bell Labs,Lucent Technologies,USA“],“afliations”:[{”raw_affiliation_string“:”Bell Labs,Lusent Technology,USA”,“institution_ids”:[]}],“countries_distinact_count”:1,“”institutions_dispinct_count“:0,”对应的author_ids“:[”https://openalex.org/A5018878077“],”corresponding_institution_ids“:[],”apc_list“:null,”apc _ paid“:null,”fwci“:null,”has_fulltext“:false,”cited_by_count“:1,”citecd_by_percentile_year“:{”min“:59,”max“:66},”biblio“:{volume“:null,”issue“:nul,”first_page“:”209“,”last_page“:”227“}”,”is_retracted“:false,”is_paratext“:false,”主主题“:{”id“:”https://openalex.org/T10126“,”display_name“:”程序分析和验证技术“,”score“:0.9998,”subfield“:{”id“:”https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10126“,”display_name“:”程序分析和验证技术“,”score“:0.9998,”subfield“:{”id“:”https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9985,”subfield“:{”id“:”https://openalex.org/subfields/1702“,”display_name“:”人工智能“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9906,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/programming-language-semantics网站“,”display_name“:”编程语言语义“,”score“:0.522653},{”id“:”https://openalex.org/keywords/constraint-logic-programming网站“,”display_name“:”约束逻辑编程“,”score“:0.508366}],”concepts“:[{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.7516054},{”id“:”https://openalex.org/C42383842,“wikidata”:https://www.wikidata.org/wiki/Q193076“,”display_name“:”函数编程“,”level“:2,”score“:0.7360476},{”id“:”https://openalex.org/C96315309,“wikidata”:https://www.wikidata.org/wiki/Q5508829“,”display_name“:”函数逻辑编程“,”level“:4,”score“:0.6847715},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.64477223},{”id“:”https://openalex.org/C128838566,“wikidata”:https://www.wikidata.org/wiki/Q275603“,”display_name“:”逻辑编程“,”level“:2,”score“:0.6268764},{”id“:”https://openalex.org/C146206909,“wikidata”:https://www.wikidata.org/wiki/Q531152“,”display_name“:”声明性编程“,”level“:4,”score“:0.5676869},{”id“:”https://openalex.org/C2778473407,“wikidata”:https://www.wikidata.org/wiki/Q1459574“,”display_name“:”纲要“,”level“:2,”score“:0.50871974},{”id“:”https://openalex.org/C81721847,“wikidata”:https://www.wikidata.org/wiki/Q163468“,”display_name“:”Prolog“,”level“:2,”score“:0.4543147},{”id“:”https://openalex.org/C2777131603,“wikidata”:https://www.wikidata.org/wiki/Q5508796“,”display_name“:”功能方法“,”level“:2,”score“:0.41810933},{”id“:”https://openalex.org/C34165917,“wikidata”:https://www.wikidata.org/wiki/Q188267“,”display_name“:”编程范例“,”level“:2,”score“:0.37518543},{”id“:”https://openalex.org/C50033165,“wikidata”:https://www.wikidata.org/wiki/Q15712089“,”display_name“:”归纳编程“,”level“:3,”score“:0.35949522},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.32645324},{”id“:”https://openalex.org/C41895202,“wikidata”:https://www.wikidata.org/wiki/Q8162“,”display_name“:”语言学“,”level“:1,”score“:0.10829741},{”id“:”https://openalex.org/C107457646,“wikidata”:https://www.wikidata.org/wiki/Q207434“,”display_name“:”Human\u2013计算机交互“,”level“:1,”score“:0.08563465},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”Philosophy“,”level“:0,”score“:0.0}],”mesh“:[],”locations_count“:2,”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-642-60085-2_9“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4210212235“,”display_name“:”人工智能“,”issn_l“:”1431-0066“,”isn“:[”1431-066“],”is_oa“:false,”is-in_doaj“:false,”host_organization“:”https://openalex.org/P431031965“,”“host_organization_name”:“Springer Nature”,“host_organization_lineage”:[“https://openalex.org/P431031965“],”host_organization_lineage_names“:[”Springer Nature“],“type”:“book series”},“license”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.5168,“pdf_url”:http://homepages.inf.ed.ac.uk/wadler/papers/how-and-why/how-and-why.pdf,“源”:{“id”:https://openalex.org/S4306400349“,”display_name“:”CiteSeer X(宾夕法尼亚州立大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I130769515“,”“host_organization_name”:“宾夕法尼亚州立大学”,“host_ordanization_lineage”:[“https://openalex.org/I130769515“],”host_organization_lineage_names“:[”Pennsylvania State University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.5168,“pdf_url”:http://homepages.inf.ed.ac.uk/wadler/papers/how-and-why/how-and-why.pdf,“源”:{“id”:https://openalex.org/S4306400349“,”display_name“:”CiteSeer X(宾夕法尼亚州立大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I130769515“,”“host_organization_name”:“宾夕法尼亚州立大学”,“host_ordanization_lineage”:[“https://openalex.org/I130769515“],”host_organization_lineage_names“:[”Pennsylvania State University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},”sustainable_development_goals“:[],“grants”:[]、“datasets”:[],“versions”:[】,“referenced_works_count”:15,“referrenced_works”:]”https://openalex.org/W1567989650","https://openalex.org/W2025846768","https://openalex.org/W2027620096","https://openalex.org/W2031847002","https://openalex.org/W2087404516","https://openalex.org/W2092408876","https://openalex.org/W2140499691","https://openalex.org/W2146262217","https://openalex.org/W2339920159","https://openalex.org/W2561675875","https://openalex.org/W3004121085","https://openalex.org/W3163556342","https://openalex.org/W4234528212","https://openalex.org/W4239099388","https://openalex.org/W4252415639“],”related_works“:[”https://openalex.org/W76619263","https://openalex.org/W4296878212","https://openalex.org/W4239436350","https://openalex.org/W2626721879","https://openalex.org/W2318464166","https://openalex.org/W2060445097","https://openalex.org/W1988194486","https://openalex.org/W1907246400","https://openalex.org/W1595664368","https://openalex.org/W1505955281“],”ngrams_url“:”https://api.openalex.org/works/W1627774744/ngrams“,”abstract_inverted_index“:{”Logic“:[0],”programming“:[1,4],”and“:[2,22,88],”functional“:[3,36,49,87],”row“:[5],”in“:[6,51,70],”the“:[7,20,52,84],”same“:[8],”boat.“:[9],”Methods“:[10],”used“:[11],”to“:[12,19,44,61,83],”implement“:[13],”success“:[14,33],”with“:[15],”one“:[16],”frequency“:[17],”transpose“:[18],”other“:[21],”both“:[23],”face“:[24],”类似的“:[25],”障碍。“:[26],”这里“:[27],”我“:[28],”提供“:[29],”a“:[30,40,79],”概要“:[31],”的“:[32,42,48,56],”故事“:[34],”用于“:[35],”程序“:[37],”跟随“:[38],”by“:[39],”list“:[41],”障碍“:[43],”更多“:[45],”广泛“:[46],”使用“:[47],”编程“:[50],“信念”:[53],“那”:[54],“很多”:[55],“这”:[57],“经验”:[58],“是”:[59],“相关”:[60]逻辑“:[62,89],”程序员。“:[63],”This“:[64],”material“:[65],”first“:[66],”appeared“:[67],”as“:[68],”columns“:[69],”ACM“:[71],”SIGPLAN“:[72],”Notices“:[73],”[29,30]。“:[74],”The“:[75],”final“:[76],”section“:[77],”contains“:[78],”fellow“:[80],”remarks“:[81],”specific“:[82],”relationships“:[85],”between“:[86],”programming。“:[90]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W1627774744“,”counts_by_year“:[],”updated_date“:”2024-06-20T22:40:52.199056“,”创建日期“:”2016-06-24“}