{“id”：“https://openalex.org/W2088982170“，”doi“：”https://doi.org/10.1145/158511.158622“，”title“：”Formal parameter polymorphism“，”display_name“：”Formal parameteral polymosphism”，“publication_year”：1993，“publitation_date”：“1993-01-01”，“ids”：{“openalex”：“https://openalex.org/W2088982170“，”doi“：”https://doi.org/10.1145/158511.158622“，”mag“：”2088982170“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/158511.158622，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/158511.158622“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/158511.158622“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A510331143“，”display_name“：”Mart\u0131\u0301n Abadi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210122731“，”display_name“：”Digital Wave（美国）“，”ror“：”https://ror.org/02t3fqk56“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210122731“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Mart\u00edn Abadi“，”raw_affiliation_strings“：[“数字设备公司，Palo Alto，CA#TAB#”]，”affiliations“：[{”raw_affiliation_string“：”数字设备公司https://openalex.org/I4210122731“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5013220584“，”display_name“：”Luca Cardelli“，”orcid“：”https://orcid.org/0000-0002-8705-8488“｝，”机构“：[｛”id“：”https://openalex.org/I4210122731“，”display_name“：”Digital Wave（美国）“，”ror“：”https://ror.org/02t3fqk56“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I4210122731“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Luca Cardelli“，”raw _ afiliation_strings“：[“数字设备公司，Palo Alto，CA#TAB#”]，”affiliations“：[{”raw _affiliation_string“：”数字设备公司https://openalex.org/I4210122731“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5064315130“，”display_name“：”Pierre Louis Curien“，”orcid“：”https://orcid.org/0000-0001-7407-4668“｝，”机构“：[｛”id“：”https://openalex.org/I1294671590“，”display_name“：”国家科学中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Pierre-Louis Curien“，”raw _ afiliation_strings“：[“[CNRS，Paris，France]”]，”从属关系“：[{”raw_ afiliation _string“：”[CNRS，Parishttps://openalex.org/I1294671590“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：4.019，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：97，“citation_normalized_percentile”：{“value”：0.9333 33，“is_in_top_1_percent”：假，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：96，”max“：97}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，《is_retracted》：false，“is_paratext”：false、“primary_topic”：{“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.9903，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9853，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.516267}，{”id“：”https://openalex.org/keywords/formal-languages网站“，”display_name“：”形式语言“，”score“：0.501793}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7300103}，{”id“：”https://openalex.org/C117251300网址，“wikidata”：https://www.wikidata.org/wiki/Q1849855“，”display_name“：”参数统计“，”level“：2，”score“：0.5668633｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5454363}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.52202326}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35070884}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.33879888}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.16971365}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/158511.158622，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/158511.158622“，”source“：null，”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.1145/158511.158622，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/158511.158622“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.58，”display_name“：”Reduced不等式“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：25，”referrenced_works“：[”https://openalex.org/W1480685649","https://openalex.org/W1488646136","https://openalex.org/W1493462473","https://openalex.org/W1513579486","https://openalex.org/W1514349410","https://openalex.org/W1519167703","https://openalex.org/W1543071126","https://openalex.org/W1563480347","https://openalex.org/W159715351","https://openalex.org/W1793485828","https://openalex.org/W1829244603","https://openalex.org/W2042577486","https://openalex.org/W2057292961","https://openalex.org/W2078944436","https://openalex.org/W2088317418","https://openalex.org/W2108885830","https://openalex.org/W2115617817","https://openalex.org/W2116312647","https://openalex.org/W2165657834","https://openalex.org/W2269687910","https://openalex.org/W2494576483","https://openalex.org/W2568721247","https://openalex.org/W2914837968","https://openalex.org/W3157787941","https://openalex.org/W326743114“]，”related_works“：[”https://openalex.org/W4245713008","https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3162240892","https://openalex.org/W3137189469","https://openalex.org/W2382501300","https://openalex.org/W2352495365","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2013111119“]，”abstract_inverted_index“：{”A“：[0]，”多态“：[1]，”函数“：[2]，”是“：[3,17,27,59]，”参数“：[4]，”如果“：[5]，”它的“：[6]，”行为“：[7]，”does“：[8]，”not“：[9]，”依赖“：[10]，”on“：[11]，”the“：[12,23]，”type“：[13]，”at“：[14]，“which”：[15]，“it“：[16]，”实例化。“：[18]，”起始“：[19]，”with“：[20,54,67]，”Reynolds“：[21]，”work“：[22]，”study“：[24]，”“：[25,62]，”参数“：[26]，”典型“：[28]，”语义。“：[29]，”In“：[30]，”this“：[31，46]，”paper“：[32]，”we“：[33]，”develop“：[34]，”a“：[35，41]，”句法“：[36]，”方法“：[37]，”to“：[38]，”参数性“：[39]，”and“：[40，56]，”形式“：[42]，”系统“：[43，48，51]，”that“：[44，64]，”体现“：[45]，”方法“：[47]，“\u211c。“：[49]，”Girard’s“：[50]，”F“：[52,63]，”交易“：[53,65]，”术语“：[55]，”类型；“：[57]，”\u211c“：[58]，”an“：[60]，”extension“：[61]，”also“：[66]，”relations“：[68]，”between“：[69]，”types。“：[70]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2088982170“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2020，”“cited_by_cunt”：1'，{”“年份”:2019，”：2013，“cited_by_count”：2}，{“年份”：2012，“ciped_by_cunt”：5}]，“updated_date”：“2024-09-25T03:57:08.213825“，”创建日期“：”2016-06-24“}