{"id":"https://openalex.org/W2913608592","doi":"https://doi.org/10.1145/2784731","title":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","display_name":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","publication_year":2015,"publication_date":"2015-08-26","ids":{"openalex":"https://openalex.org/W2913608592","doi":"https://doi.org/10.1145/2784731","mag":"2913608592"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2784731","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"paratext","type_crossref":"proceedings","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.753521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":66,"max":73},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9585,"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":"Program Analysis and Verification Techniques","score":0.9585,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory Management","score":0.421337}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6895482},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.50645864},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.48083767},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3291828}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2784731","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W3157866078","https://openalex.org/W3006199460","https://openalex.org/W2166247150","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2087060298","https://openalex.org/W2027798793","https://openalex.org/W1601811574","https://openalex.org/W1587224678"],"abstract_inverted_index":{"It":[0],"is":[1,24,65],"my":[2],"great":[3],"pleasure":[4],"to":[5,8,31,55,118,125,165,173,247,277,297,322,353,379],"welcome":[6],"you":[7],"the":[9,34,38,48,84,101,106,159,161,166,179,195,213,227,244,275,290,305,320,324,338,349,361,369],"18th":[10],"ACM":[11],"SIGPLAN":[12],"International":[13],"Conference":[14],"on":[15,289],"Functional":[16],"Programming,":[17],"ICFP":[18,397],"'13,":[19],"in":[20,37,105,158,182,198,215],"Boston,":[21],"Massachusetts,":[22],"USA.\r\n\r\nICFP":[23],"a":[25,112,126,266],"forum":[26],"for":[27,59,69,201,204,224],"researchers":[28],"and":[29,40,78,95,103,136,243,343,388],"practitioners":[30],"hear":[32,380],"about":[33,333],"latest":[35],"developments":[36],"art":[39],"science":[41],"of":[42,51,178,186,218,270,307,311,326,360,371,385],"functional":[43,76,93,127,134],"programming.":[44],"The":[45,239],"conference":[46,102,317],"covers":[47],"entire":[49],"spectrum":[50],"work,":[52],"from":[53,315],"theory":[54],"practice.\r\n\r\nThis":[56],"year's":[57],"call":[58],"papers":[60,312],"attracted":[61],"133":[62],"submissions,":[63],"which":[64],"an":[66,119],"all-time":[67],"record":[68],"ICFP:":[70],"115":[71],"regular":[72,90,113,131],"research":[73,114],"papers,":[74,91,132,288],"11":[75],"pearls":[77,94,135],"7":[79,259],"experience":[80,97,120,123,138],"reports.":[81],"From":[82],"those,":[83],"Program":[85,350],"Committee":[86],"selected":[87],"40":[88],"papers--33":[89],"4":[92],"3":[96,137,146],"reports--for":[98],"presentation":[99],"at":[100,144,299,396],"inclusion":[104],"proceedings.":[107],"One":[108,217],"paper":[109,115],"submitted":[110],"as":[111,189,191,282,358],"was":[116,141,241,255,302,366],"recategorized":[117],"report,":[121],"one":[122],"report":[124],"pearl,":[128],"yielding":[129],"32":[130],"5":[133,372],"reports.\r\n\r\nEach":[139],"submission":[140],"reviewed":[142],"by":[143,237,252,304,348,368],"least":[145],"people":[147],"(either":[148],"PC":[149,196,210,245,253],"members":[150,211,254],"or":[151,284],"external":[152],"reviewers).":[153],"After":[154],"initial":[155],"online":[156,193],"discussion":[157],"PC,":[160],"reviews":[162,180,325,342],"were":[163,258,263,272,318],"communicated":[164,347],"authors,":[167],"who":[168,355],"then":[169],"had":[170,229,246,274],"three":[171],"days":[172,203],"comment":[174],"back.":[175],"Following":[176],"updating":[177],"and,":[181],"several":[183],"cases,":[184],"addition":[185],"new":[187],"reviews,":[188],"well":[190],"further":[192],"discussion,":[194],"met":[197],"Munich,":[199],"Germany,":[200],"two":[202,209],"final":[205],"decisions.":[206],"All":[207],"but":[208],"attended":[212],"meeting":[214],"person.":[216],"them":[219,271],"could":[220],"not":[221,296],"make":[222],"it":[223],"personal":[225],"reasons,":[226],"other":[228],"his":[230],"transatlantic":[231],"flight":[232],"canceled;":[233],"they":[234,335],"took":[235],"part":[236],"phone.":[238],"competition":[240],"tough":[242],"reject":[248],"many":[249],"good":[250],"papers.\r\n\r\nSubmission":[251],"allowed.":[256],"There":[257],"such":[260],"submissions.":[261,309],"Those":[262],"scrutinized":[264],"against":[265],"higher":[267],"standard;":[268],"2":[269],"accepted.\r\n\r\nAuthors":[273],"possibility":[276],"submit":[278],"additional":[279],"material":[280],"(such":[281],"code":[283],"proofs)":[285],"with":[286,330],"their":[287,327,331],"understanding":[291],"that":[292],"reviewers":[293,354,359],"may":[294],"choose":[295],"look":[298],"it.":[300],"This":[301,364],"used":[303,367],"authors":[306,370],"27":[308],"Authors":[310],"previously":[313],"rejected":[314],"another":[316],"given":[319],"option":[321,365],"attach":[323],"previous":[328],"submission,":[329],"explanations":[332],"how":[334],"have":[336],"addressed":[337],"criticisms":[339],"raised.":[340],"These":[341],"comments":[344],"would":[345],"be":[346],"Chair":[351],"only":[352],"identify":[356],"themselves":[357],"earlier":[362],"version.":[363],"submissions.\r\n\r\nAs":[373],"keynote":[374],"speakers":[375],"we":[376],"are":[377],"privileged":[378],"Ulf":[381],"Norell":[382],"(Chalmers":[383],"University":[384],"Technology,":[386],"Sweden)":[387],"Simon":[389],"Peyton":[390],"Jones":[391],"(Microsoft":[392],"Research,":[393],"Cambridge,":[394],"UK)":[395],"'13.":[398]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2913608592","counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2024-11-19T23:17:15.286133","created_date":"2019-02-21"}