{“id”：“https://openalex.org/W1816482500“，”doi“：”https://doi.org/10.1007/11964681_1“，”title“：”A Framework for Point-Free Program Transformation“，”display_name“：”Aframework for Point-Free Programm Transformation”，“publication_year”：2006，”publication_date“：”2006-01-01“，”ids“：{”openalex“：”https://openalex.org/W1816482500“，”doi“：”https://doi.org/10.1007/11964681_1“，”mag“：”1816482500“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11964681_1“，”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，”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://repositorium.sdum.uminho.pt/bitstream/1822/14350/1/frapfpt.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5069927997“，”display_name“：”Alcino Cunha“，”orcid“：”https://orcid.org/0000-0002-2714-8027}，“机构”：[{“id”：https://openalex.org/I99682543“，”display_name“：”Minho大学“，”ror“：”网址：https://ror.org/037wpkx04“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I99682543“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Alcino Cunha“，”raw _affiliation_strings“：[“CCTC/Departamento de Inform\u00e1tica，Minho大学，4710-057，布拉加，葡萄牙”]，”affiliations“：[{”raw _affiliation_string“：”机构ID“：[”https://openalex.org/I99682543“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056967331“，”display_name“：”Jorge Sousa Pinto“，”orcid“：”https://orcid.org/0000-0002-0892-3577}，“机构”：[{“id”：https://openalex.org/I99682543“，”display_name“：”Minho大学“，”ror“：”网址：https://ror.org/037wpkx04“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I99682543“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Jorge Sousa Pinto“，”raw _affiliation_strings“：[“CCTC/Departamento de Inform\u00e1tica，Universidade do Minho，4710-057，Braga，Portugal”]，“afliations”：[{“raw_affilition_string”：“CCTC/Departamento de Inform\u 00e1teca，Universade do Minho，4710-1057，Brougal，Braga”，“机构ID“：[”https://openalex.org/I99682543“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5045860912“，”display_name“：”Jos\u00e9 Proen\u00e7a“，”orcid“：”https://orcid.org/0000-0003-0971-8919}，“机构”：[{“id”：https://openalex.org/I99682543“，”display_name“：”Minho大学“，”ror“：”网址：https://ror.org/037wpkx04“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I99682543“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9 Proen\u00e7a“，”raw _affiliation_strings“：[“CCTC/Departamento de Inform\u00e tica，Minho大学，4710-057，布拉加，葡萄牙”]，“afliations”：[{“raw_affiliation _string”：“CCTC/Departamento-de Inform\u 00e1tica，Universidade Minho，4710-05，葡萄牙布拉加机构ID“：[”https://openalex.org/I99682543“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：1.757，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：9，”cited_by_percentile_year“：{”min“：83，”max“：84}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：“1”，”last_page“：“18”}，“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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9962，”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.9944，“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/simmulation-platforms网站“，”display_name“：”Simulation Platforms“，”score“：0.474644｝]，”concepts“：[｛”id“：”https://openalex.org/C2780624054，“wikidata”：https://www.wikidata.org/wiki/Q34010“，”display_name“：”Haskell“，”level“：3，”score“：0.9260937}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.82464874}，{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.7997842}，{”id“：”https://openalex.org/C2778361913，“wikidata”：https://www.wikidata.org/wiki/Q7248437网址“，”display_name“：”程序转换“，”level“：2，”score“：0.74223673}，{”id“：”https://openalex.org/C168773036网址，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.68103254}，{”id“：”https://openalex.org/C204241405，“wikidata”：https://www.wikidata.org/wiki/Q461499“，”display_name“：”Transformation（genetics）“，”level“：3，”score“：0.66785717}，{”id“：”https://openalex.org/C42383842，“wikidata”：https://www.wikidata.org/wiki/Q193076“，”display_name“：”函数编程“，”level“：2，”score“：0.6490592}，{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.64864266}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.62403667}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.4678593}，{”id“：”https://openalex.org/C28719098，“wikidata”：https://www.wikidata.org/wiki/Q4946“，”display_name“：”Point（geometry）“，”level“：2，”score“：0.4621158}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4374029}，{”id“：”https://openalex.org/C88626702，“wikidata”：https://www.wikidata.org/wiki/Q1128903“，”display_name“：”Continuation“，”level“：2，”score“：0.4265159}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3449637}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.13388285}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.12062937}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”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/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：2，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11964681_1“，”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，”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”：“http://hdl.handle.net/1822/14350，“pdf_url”：https://repositorium.sdum.uminho.pt/bitstream/1822/14350/1/frapfpt.pdf，“源”：{“id”：https://openalex.org/S4306401240“，”display_name“：”Reposit\u00f3riUM（Minho大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I99682543“，”“host_organization_name”：“米荷大学”，“host_organization_lineage”：[“https://openalex.org/I99682543“]，”host_organization_lineage_names“：[”Minho大学“]，“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://hdl.handle.net/1822/14350，“pdf_url”：https://repositorium.sdum.uminho.pt/bitstream/1822/14350/1/frapfpt.pdf，“源”：{“id”：https://openalex.org/S4306401240“，”display_name“：”Reposit\u00f3riUM（Minho大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I99682543“，”“host_organization_name”：“米荷大学”，“host_organization_lineage”：[“https://openalex.org/I99682543“]，”host_organization_lineage_names“：[”Minho大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：12，“referrenced_works”：“https://openalex.org/W1505177643","https://openalex.org/W1514119099","https://openalex.org/W1580128549","https://openalex.org/W1594279870","https://openalex.org/W1599275252","https://openalex.org/W1975580206","https://openalex.org/W1993075518","https://openalex.org/W2116509046","https://openalex.org/W2166159458","https://openalex.org/W2172307690","https://openalex.org/W2462687788","https://openalex.org/W2561675875“]，”related_works“：[”https://openalex.org/W60110726","https://openalex.org/W2741344200","https://openalex.org/W2228124075","https://openalex.org/W2072644784","https://openalex.org/W1980476455","https://openalex.org/W1604665600","https://openalex.org/W1547639981","https://openalex.org/W1483040095","https://openalex.org/W135379672","https://openalex.org/W1176341022“]，”ngrams_url“：”https://api.openalex.org/works/W1816482500/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“subject”：[1]，“of”：[2,26,36,44,73,83,88105]，“this”：[3,15,67]，“paper”：[4,68]，“is”：[5,50]，“functional”：[6]，“program”：[7108]，“transformation”：[8]，“in”：[9,62,93]，“The”：[10,42,81,85101]，“所谓的”：[11]，“point-free”：[12,91]，“style”：[13]，“By”：[14]，“we”：[16,69]，“mean”：[17]，“first”：[18]，“translating”：[19]，“programs“：[20,55,89]，”to“：[21,59,90]，”a“：[22,71]，”form“：[23,49]，”composing“：[24]，”only“：[25]，”categorically inspired“：[2]，”combinator“：[28]，”代数“：[29]，”data“：[30]，”types“：[31]，”defined“：[32]，”as“：[33]，”fixed“：[3]4]，“points”：[35]，”functor“：[37]，”and“：[38,75,97100]，“隐式”：[39]，“递归”：[40,46]，“通过”：[41]，“使用”：[43,61]，“输入参数化的“：[45]，”模式。“：[47]，“This”：[48]，“appropriate”：[51]，“for”：[52,64107]，“reasoning”：[53]，“about”：[54]，“equantially”：[56]，“but”：[57]，“harouble”：[58]，“actually”：[60]，“practice”：[63]，“programming”。“：[65]，”In“：[66]，”present“：[70]，”collection“：[72]，”libraries“：[74]，”tools“：%7]，”developed“：[77]，”at“：[78]，”Minho“：[%9]，”with“：80]，”aim“：[82]，”supporting“：[84]，”automatic“：[86103]，”conversion“：[87]，”（embedded“：/92]，”Haskell），“：[94]，”their“：[95]，”manipation“：[96]，”“规则驱动”：[98]，“简化”：[99]，“（有限）”：[102]，“应用”：[104]，“融合“：[106]，”转换。“：[109]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1816482500“，”counts_by_year“：[{“年份”：2014，”cited_by_count“：1}，{“年度”：2012，”cited_by_count”：1}]，”updated_date“：”2024-06-23T05:50:49.688757“，”created_date:“2016-06-24”}