{“id”：“https://openalex.org/W2058808645“，”doi“：”https://doi.org/10.1017/s0956796803000613“，”title“：”4个声明和约束“，”display_name“：”四个声明和绑定“，”publication_year“：2003，”publiation_date“：”2003-01-01“，”ids“：{”openalex“：”https://openalex.org/W2058808645“，”doi“：”https://doi.org/10.1017/s0956796803000613“，”mag“：”2058808645“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1017/s0956796803000613，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A525696031147F9B7C9452E12DE4422B/S0956796803000613a.pdf/div-class-title-4-declarations-and-bindings-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956.7968“、”1469-7653“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，oaurl“：”https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A525696031147F9B7C9452E12DE4422B/S0956796803000613a.pdf/div-class-title-4-declarations-and-bindings-div.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5027817074“，”display_name“：”Simon Peyton Jones“，”orcid“：”https://orcid.org/0000-0002-6085-1435“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”西蒙·佩顿·琼斯“，”raw_affiliation_strings“：[]，“从属关系”：[]}]，”机构评估“：[]]，”countries_distiction_count“：0，”机构区分_count”：0，“corresponding_author_ids”：[”https://openalex.org/A5027817074“]，”“corresponding_institution_ids”：[]，“apc_list”：null，”“apc_payed”：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：2，”citation_normalized_percentile“：null”，“cited_by_percentile_year”：{“min”：67，“max”：70}，”biblio“：{”volume“：13”，“issue”：“1”，“first_page”：“39”，“last_page”年龄“：”66“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：null，”主题“：[]，”关键字“：[{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.70872706}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.9194216}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.84124434}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.70872706}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.49498528}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.46781632}，{”id“：”https://openalex.org/C14036430，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.4351705}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.37164384}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3583241}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.20237869｝，｛”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”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，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1017/s0956796803000613，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A525696031147F9B7C9452E12DE4422B/S0956796803000613a.pdf/div-class-title-4-declarations-and-bindings-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956.7968“、”1469-7653“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1017/s0956796803000613，“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A52596031147F9B7C9452E12DE4422B/S0956796803000613a.pdf/div-class-title-4-声明和绑定-div.pdf，“源”：{“id”：https://openalex.org/S12266929“，”display_name“：”函数编程杂志“，”issn_l“：”0956-7968“，”isn“：[”0956.7968“、”1469-7653“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：0，“referrenced_works”：]，“related_works“：[”https://openalex.org/W4297831990","https://openalex.org/W4247404391","https://openalex.org/W2963764498","https://openalex.org/W2804371217","https://openalex.org/W2189052291","https://openalex.org/W2156211387","https://openalex.org/W2068383718","https://openalex.org/W2067607302","https://openalex.org/W1941412300","https://openalex.org/W102335353“]，”abstract_inverted_index“：{”4.1“：[0]，”Overview“：[1]，”of“：[2,24]，”Types“：[3]，”and“：[4,14,26]，”Classes“：[5,13]，”40“：[6]，”4.2“：[7]，”User-Defined“：[8]，”datatypes“：[9]，”45“：[10]，”4.3“：[11]，”Type“：[12]，”Overloading“：[15]，”49“：[16]，“4.4”：[17]，“嵌套”：[18]，“声明”：[19]，“55”：[20]，“4.5”：[21]，“静态”：[22]，“语义”：[23]，“函数”：[25]，“图案“：[27]，”装订“：[28]，”60“：[29]，”4.6“：[30]，”种类“：[31]，”推断“：[32]，”66“：[33]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2058808645“，”counts_by_year“：[{”年“：2012，”cited_by_count“：1}]，”更新日期“：”2024-09-14T16:55:16.227976“，”创建日期“：“2016-06-24”}