乐胖代购免代理版

{"id":"https://openalex.org/W2965108653","doi":"https://doi.org/10.1145/3331545.3342594","title":"Making a faster Curry with extensional types","display_name":"Making a faster Curry with extensional types","publication_year":2019,"publication_date":"2019-07-29","ids":{"openalex":"https://openalex.org/W2965108653","doi":"https://doi.org/10.1145/3331545.3342594","mag":"2965108653"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3331545.3342594","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3331545.3342594","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3331545.3342594","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020454182","display_name":"Paul Downen","orcid":"https://orcid.org/0000-0003-0165-9387"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul Downen","raw_affiliation_strings":["University of Oregon, USA"],"affiliations":[{"raw_affiliation_string":"University of Oregon, USA","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076947509","display_name":"Zachary J. Sullivan","orcid":"https://orcid.org/0000-0003-3023-1996"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zachary Sullivan","raw_affiliation_strings":["University of Oregon, USA"],"affiliations":[{"raw_affiliation_string":"University of Oregon, USA","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064696313","display_name":"Zena M. Ariola","orcid":"https://orcid.org/0000-0001-5551-8294"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zena M. Ariola","raw_affiliation_strings":["University of Oregon, USA"],"affiliations":[{"raw_affiliation_string":"University of Oregon, USA","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027817074","display_name":"Simon Peyton Jones","orcid":"https://orcid.org/0000-0002-6085-1435"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Peyton Jones","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.198,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":4,"citation_normalized_percentile":{"value":0.486855,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":77,"max":79},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.9321706},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.6586547},{"id":"https://openalex.org/keywords/lazy-evaluation","display_name":"Lazy evaluation","score":0.57684857},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.57154334},{"id":"https://openalex.org/keywords/curry","display_name":"Curry","score":0.48872066},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.43236062}],"concepts":[{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.9321706},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.79678845},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.66918856},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.6586547},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6111939},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5973386},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.57684857},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.57154334},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.535032},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.49646097},{"id":"https://openalex.org/C2781029818","wikidata":"https://www.wikidata.org/wiki/Q2368856","display_name":"Curry","level":2,"score":0.48872066},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.43236062},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3237648},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1596778},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15002975},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3331545.3342594","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3331545.3342594","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3331545.3342594","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3331545.3342594","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"display_name":"Quality education","score":0.56,"id":"https://metadata.un.org/sdg/4"}],"grants":[{"funder":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation","award_id":"CCF-1719158, CCF-1423617"}],"datasets":[],"versions":[],"referenced_works_count":26,"referenced_works":["https://openalex.org/W1567828704","https://openalex.org/W159715351","https://openalex.org/W1597497095","https://openalex.org/W1625481196","https://openalex.org/W1738264400","https://openalex.org/W1887792052","https://openalex.org/W1911436531","https://openalex.org/W2000212732","https://openalex.org/W2018240113","https://openalex.org/W2038401271","https://openalex.org/W2040871029","https://openalex.org/W2073733988","https://openalex.org/W2095621310","https://openalex.org/W2105571579","https://openalex.org/W2123307082","https://openalex.org/W2160728467","https://openalex.org/W2164691248","https://openalex.org/W2226740143","https://openalex.org/W2294680933","https://openalex.org/W2504389667","https://openalex.org/W2735673197","https://openalex.org/W2927060693","https://openalex.org/W3147781287","https://openalex.org/W4248456324","https://openalex.org/W49202426","https://openalex.org/W67134903"],"related_works":["https://openalex.org/W4235947164","https://openalex.org/W2764317176","https://openalex.org/W2521829344","https://openalex.org/W2466718051","https://openalex.org/W2392016641","https://openalex.org/W2201673571","https://openalex.org/W2168393711","https://openalex.org/W2116323891","https://openalex.org/W2028779182","https://openalex.org/W1734457603"],"abstract_inverted_index":{"Curried":[0],"functions":[1,65,81,86],"apparently":[2],"take":[3],"one":[4],"argument":[5],"at":[6,30,55],"a":[7,113,120,142,146],"time,":[8],"which":[9,39,92],"is":[10,40,134,138],"slow.":[11],"So":[12],"optimizing":[13],"compilers":[14],"for":[15,22,70,141],"higher-order":[16,58],"languages":[17],"invariably":[18],"have":[19,66],"some":[20],"mechanism":[21],"working":[23],"around":[24],"currying":[25],"by":[26],"passing":[27],"several":[28],"arguments":[29],"once,":[31],"as":[32,34,42],"many":[33],"the":[35,67,73,105,110],"function":[36,114],"can":[37,82,151],"handle,":[38],"known":[41],"its":[43,116],"arity.":[44],"But":[45],"such":[46],"mechanisms":[47],"are":[48],"often":[49],"ad-hoc,":[50],"and":[51,118,122,145,149],"do":[52,93],"not":[53,94],"work":[54],"all":[56],"in":[57,104,115],"functions.":[59,77,128],"We":[60],"show":[61],"how":[62],"extensional,":[63],"call-by-name":[64,96,99],"correct":[68],"behavior":[69],"directly":[71],"expressing":[72],"arity":[74,111],"of":[75,112,125],"curried":[76,127],"And":[78],"these":[79],"extensional":[80],"stand":[83],"side-by-side":[84],"with":[85,100],"native":[87],"to":[88],"practical":[89],"programming":[90],"languages,":[91],"use":[95],"evaluation.":[97],"Integrating":[98],"other":[101],"evaluation":[102],"strategies":[103],"same":[106],"intermediate":[107],"language":[108,144],"expresses":[109],"type":[117],"gives":[119],"principled":[121],"compositional":[123],"account":[124],"multi-argument":[126],"An":[129],"unexpected,":[130],"but":[131],"significant,":[132],"bonus":[133],"that":[135],"our":[136],"approach":[137],"equally":[139],"suitable":[140],"call-by-value":[143],"call-by-need":[147],"language,":[148],"it":[150],"be":[152],"readily":[153],"integrated":[154],"into":[155],"an":[156],"existing":[157],"compilation":[158],"framework.":[159]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2965108653","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-01-18T20:39:44.118921","created_date":"2019-08-13"}