{“id”：“https://openalex.org/W2210284694“，”doi“：”https://doi.org/10.1007/978-3-319-04132-2_2“，”title“：”Haskell的部分类型签名“，”display_name“：”哈斯克尔的部分类型签字“，”publication_year“：2013，”publiation_date“：”2013-12-08“，”ids“：{”openalex“：”https://openalex.org/W2210284694“，”doi“：”https://doi.org/10.1007/978-3-319-04132-2_2“，”mag“：”2210284694“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-04132-2_2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“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”：https://lirias.kuleven.be/bitstream/123456789/423475/3/paper.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5038383564“，”display_name“：”Thomas Winant“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I99464096“，”display_name“：”KU Leuven“，”ror“：”https://ror.org/05f950310“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I99464096“]}]，”countries“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Thomas Winant“，”raw _affiliation_strings“：【”KU Leuven，Leuvin，Belgium“】，”affiliations“：[{”raw _affiliation_string“：”KU Luuvenhttps://openalex.org/I99464096“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5011654888“，”display_name“：”Dominique Devriese“，”orcid“：”https://orcid.org/0000-0002-3862-6856“｝，”机构“：[｛”id“：”https://openalex.org/I99464096“，”display_name“：”KU Leuven“，”ror“：”https://ror.org/05f950310“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I99464096“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”多米尼克·德弗里斯“，”raw _ afiliation_strings“：[“KU鲁汶，鲁汶https://openalex.org/I99464096“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5008329832“，”display_name“：”Frank Piessens“，”orcid“：”https://orcid.org/0000-0001-5438-153X“｝，”机构“：[｛”id“：”https://openalex.org/I99464096“，”display_name“：”KU Leuven“，”ror“：”https://ror.org/05f950310“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I99464096“]}]，”countries“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Frank Piessens“，”raw _ afiliation_strings“：【”KU Leuven，鲁汶，Belgium“】，”affiliations“：[{”raw _affiliation_string“：”KU Luwen，Leuven，Beljium“，”institution_ids“：[“https://openalex.org/I99464096“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5050247934“，”display_name“：”Tom Schrijvers“，”orcid“：”https://orcid.org/0000-0001-8771-5559“｝，”机构“：[｛”id“：”https://openalex.org/I32597200“，”display_name“：”根特大学“，”ror“：”https://ror.org/00cv9y106“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I32597200“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Tom Schrijvers“，”raw _ afiliation_strings“：[“根特大学，根特，比利时”]，”affiliations“：[{”raw_ afiliation _string“：”根特大学https://openalex.org/I32597200“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.808，“has_fulltext”：true，“fulltext_o”rigin“：”pdf“，”cited_by_count“：7，”引用_规范化_percentile“：{”value“：0.771385，”is_in_top_1_percent“：false，”is_输入_操作_10_percents“：false}，”cited_by_percentile_year“：{“min”：83，“max”：84}，“biblio”：{“volume”：null，“issue”：null，“first_page”：“17”，“last_page”：“32”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析与验证技术“，”score“：0.9999，”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.9999，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9993，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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.9975，“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/haskell（https://openalex.org/keywords/haskell）“，”display_name“：”Haskell“，”score“：0.9739982}，{”id“：”https://openalex.org/keywords/programmer网站“，”display_name“：”Programmer“，”score“：0.59318936}，{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.517914}，{”id“：”https://openalex.org/keywords/generic-programming网站“，”display_name“：”通用编程“，”score“：0.42331672}，{”id“：”https://openalex.org/keywords/签名“，”display_name“：”签名（拓扑）“，”score“：0.4113769}]，”concepts“：[{”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.9739982}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8702683}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.78864384}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.7634872}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.72704506}，{”id“：”https://openalex.org/C2778514511，“wikidata”：https://www.wikidata.org/wiki/Q1374194“，”display_name“：”Programmer“，”level“：2，”score“：0.59318936}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.57929254}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.50092936}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.42540497}，{”id“：”https://openalex.org/C7051814，“wikidata”：https://www.wikidata.org/wiki/Q1051282“，”display_name“：”通用编程“，”level“：2，”score“：0.42331672}，{”id“：”https://openalex.org/C2779696439，“wikidata”：https://www.wikidata.org/wiki/Q7512811“，”display_name“：”签名（拓扑）“，”级别“：2，”分数“：0.4113769}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.38756222}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.10656077}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.080376｝，｛”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”Ecology“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-04132-2_2“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://lirias.kuleuven.be/handle/123456789/423475，“pdf_url”：https://lirias.kuleuven.be/bitstream/123456789/423475/3/paper.pdf，“源”：{“id”：https://openalex.org/S4306401954“，”display_name“：”Lirias（KU Leuven）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I99464096“，”“host_organization_name”：“KU Leuven”，“host_organization_lineage”：[“https://openalex.org/I99464096“]，”host_organization_lineage_names“：[”KU Leuven“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.722.5243，“pdf_url”：http://people.cs.kuleuven.be/%7Etom.schrijvers/Research/papers/padl2014.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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”：“https://lirias.kuleuven.be/handle/123456789/423475，“pdf_url”：https://lirias.kuleuven.be/bitstream/123456789/423475/3/paper.pdf，“源”：{“id”：https://openalex.org/S4306401954“，”display_name“：”Lirias（KU Leuven）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I99464096“，”“host_organization_name”：“KU Leuven”，“host_organization_lineage”：[“https://openalex.org/I99464096“]，”host_organization_lineage_names“：[”KU Leuven“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1514370277","https://openalex.org/W1557561422","https://openalex.org/W1575675278","https://openalex.org/W17008436","https://openalex.org/W1965338843","https://openalex.org/W2069858276","https://openalex.org/W2104299410","https://openalex.org/W2112474400","https://openalex.org/W2131916293","https://openalex.org/W2161193752","https://openalex.org/W2519387135","https://openalex.org/W2525066022","https://openalex.org/W4229859398“]，”related_works“：[”https://openalex.org/W4242678340","https://openalex.org/W2971609332","https://openalex.org/W2526970984","https://openalex.org/W2095136535","https://openalex.org/W2028779182","https://openalex.org/W2005083846","https://openalex.org/W1919687110","https://openalex.org/W1599215552","https://openalex.org/W1564538666","https://openalex.org/W1528956417网址“]，”abstract_inverted_index“：{”Strong“：[0]，”type“：[1,17,30,42,52,57,63,73,99]，”systems“：[2]，”can“：[3,24]，”be“：[4,25]，”used“：[5]，”to“：[6]，”increase“：[7]，”the“：[8,19,22,51,621131141145]，“可靠性”：[9]，“和”：[10,83,92116144]，“性能”：[11]，“of”：[12,86,97]112119]，“程序。”：[13]，“In”：[14,37]，“组合”：[15]，“带”：[16,39]，“推断“：[18]，”开销“：[20]，”for“：[21,71101130]，”programmer“：[23]，”keepd“：[26]，”small。“：[27]，”然而，“：[28]，”显式“：[29]，”签名“：[31,74100]，”经常“：[32]，”保持“：[33]，”需要“：[34]，”或“：[35,59]，”有用。“：[36]，”languages“：[38]，”standard“：[40]，”Hindley-Milner-based“：[41]，”systems“，：[43]，”programmers“：[44]，”have“：[45123]，”a“：[46,94125]，”binary“：47]，”choice“：[48]，”between“：[49]，”省略“：[50]，”signature“：[53]，”（and“：[54]，”依赖“：[55]，”依靠“：[56]，”推断）“：[58]，”显式“：[60]，”提供“：[61]，”全部；“：[64]，”there“：[65]，”are“：[66]，”no“：[67]，”intermediate“：[68]，”options。“：[69]，”提案“：[70]，”部分“：[72,98]，”存在“：[75]，”但是“：[76]，”无“：[77]，”支持“：[78]，”特征“：[79]，”喜欢“：[80]，”本地“：[81,87]，”约束“：[82]，”GHC\u2019s“：[84]，”非泛化“：[85]，”绑定。“：[88]，”因此“：[89]，”我们“：[90]，”提议“：[91]，”激励“：[93]，”实用“：[95]，”形式“：[96]，”当今“：[102]，”哈斯克尔。“：[103]，“我们”：[104122]，“形式上”：[105]，“描述”：[106]，“我方”：[107]，“建议”：[108]，“作为”：[109]，“an”：[110]，“扩展”：[111]，“OutsideIn（X）”：[1114142]，“系统”：[115]，“证明”：[117]，“某些”：[118]，“其”：[120]，“属性”。“：[121]，”开发“：[124]，”（不是“：[126]，”尚未“：[127]，”完成）“：[128]，”实现“：[129]，”GHC“：[132]，”Haskell“：[133]，”编译器。“：[134146]，”我们的“：[135]，”设计“：[136]，”适合“：[137]，”自然“：[138]，”in“：[139]，”both“：[140]，”形式主义“：[143]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2210284694“，”“counts_by_year”：[{“年份”：2020，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：1\n，{（年份）：2018，”“cited_by_count”“：2}，”“年份”“：2017，”“icted_by-count”“:1}，，”“年”“：2016，”“chited_by/count”编辑日期：“2016-06-24”}