{"id":"https://openalex.org/W2914373398","doi":"https://doi.org/10.1145/2500365","title":"Proceedings of the 18th ACM SIGPLAN international conference on Functional programming","display_name":"Proceedings of the 18th ACM SIGPLAN international conference on Functional programming","publication_year":2013,"publication_date":"2013-09-25","ids":{"openalex":"https://openalex.org/W2914373398","doi":"https://doi.org/10.1145/2500365","mag":"2914373398"},"language":"en","primary_location":{"id":"doi:10.1145/2500365","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2500365","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"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":30,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.935699999332428,"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.935699999332428,"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/presentation","display_name":"Presentation (obstetrics)","score":0.6025769114494324},{"id":"https://openalex.org/keywords/inclusion","display_name":"Inclusion (mineral)","score":0.5745355486869812},{"id":"https://openalex.org/keywords/phone","display_name":"Phone","score":0.5730443000793457},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5673243403434753},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5552244782447815},{"id":"https://openalex.org/keywords/pleasure","display_name":"Pleasure","score":0.4955552816390991},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4929053783416748},{"id":"https://openalex.org/keywords/pearl","display_name":"Pearl","score":0.45251137018203735},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.36897194385528564},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.23312175273895264},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21504586935043335},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.19178947806358337},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.1433272361755371},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10375720262527466}],"concepts":[{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.6025769114494324},{"id":"https://openalex.org/C109359841","wikidata":"https://www.wikidata.org/wiki/Q728944","display_name":"Inclusion (mineral)","level":2,"score":0.5745355486869812},{"id":"https://openalex.org/C2778707766","wikidata":"https://www.wikidata.org/wiki/Q202064","display_name":"Phone","level":2,"score":0.5730443000793457},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5673243403434753},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5552244782447815},{"id":"https://openalex.org/C2777113389","wikidata":"https://www.wikidata.org/wiki/Q208195","display_name":"Pleasure","level":2,"score":0.4955552816390991},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4929053783416748},{"id":"https://openalex.org/C2779251273","wikidata":"https://www.wikidata.org/wiki/Q43436","display_name":"Pearl","level":2,"score":0.45251137018203735},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.36897194385528564},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.23312175273895264},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21504586935043335},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.19178947806358337},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.1433272361755371},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10375720262527466},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2500365","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2500365","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4297824900","https://openalex.org/W1603590763","https://openalex.org/W2171170310","https://openalex.org/W2190922845","https://openalex.org/W2186798288","https://openalex.org/W2950290350","https://openalex.org/W114017169","https://openalex.org/W2366083675","https://openalex.org/W2231036510","https://openalex.org/W2890483697"],"abstract_inverted_index":{"It":[0],"is":[1,25,67],"my":[2],"great":[3],"pleasure":[4],"to":[5,8,32,56,120,127,168,176,250,282,302,327,358,385],"welcome":[6],"you":[7],"the":[9,35,39,49,86,103,108,162,164,169,182,198,216,230,247,280,295,310,325,329,343,354,366,374],"18th":[10],"ACM":[11],"SIGPLAN":[12],"International":[13],"Conference":[14],"on":[15,294],"Functional":[16],"Programming,":[17],"ICFP":[18,24,403],"'13,":[19],"in":[20,38,107,161,185,201,218],"Boston,":[21],"Massachusetts,":[22],"USA.":[23],"a":[26,114,128,270],"forum":[27],"for":[28,61,71,204,207,227],"researchers":[29],"and":[30,41,80,97,105,138,246,348,394],"practitioners":[31],"hear":[33,386],"about":[34,338],"latest":[36],"developments":[37],"art":[40],"science":[42],"of":[43,52,181,189,221,274,312,316,331,365,376,391],"functional":[44,78,95,129,136],"programming.":[45],"The":[46,242],"conference":[47,104,322],"covers":[48],"entire":[50],"spectrum":[51],"work,":[53],"from":[54,320],"theory":[55],"practice.":[57],"This":[58,306,369],"year's":[59],"call":[60],"papers":[62,317],"attracted":[63],"133":[64],"submissions,":[65],"which":[66],"an":[68,121],"all-time":[69],"record":[70],"ICFP:":[72],"115":[73],"regular":[74,92,115,133],"research":[75,116],"papers,":[76,93,134,293],"11":[77],"pearls":[79,96,137],"7":[81,263],"experience":[82,99,122,125,140],"reports.":[83,141],"From":[84],"those,":[85],"Program":[87,355],"Committee":[88],"selected":[89],"40":[90],"papers--33":[91],"4":[94],"3":[98,139,149],"reports--for":[100],"presentation":[101],"at":[102,147,304,402],"inclusion":[106],"proceedings.":[109],"One":[110,220],"paper":[111,117],"submitted":[112],"as":[113,192,194,287,363],"was":[118,144,244,259,307,371],"recategorized":[119],"report,":[123],"one":[124],"report":[126],"pearl,":[130],"yielding":[131],"32":[132],"5":[135,377],"Each":[142],"submission":[143],"reviewed":[145],"by":[146,240,256,309,353,373],"least":[148],"people":[150],"(either":[151],"PC":[152,199,213,248,257],"members":[153,214,258],"or":[154,289],"external":[155],"reviewers).":[156],"After":[157],"initial":[158],"online":[159,196],"discussion":[160],"PC,":[163],"reviews":[165,183,330,347],"were":[166,262,267,276,323],"communicated":[167,352],"authors,":[170],"who":[171,360],"then":[172],"had":[173,232,249,279],"three":[174],"days":[175,206],"comment":[177],"back.":[178],"Following":[179],"updating":[180],"and,":[184],"several":[186],"cases,":[187],"addition":[188],"new":[190],"reviews,":[191],"well":[193],"further":[195],"discussion,":[197],"met":[200],"Munich,":[202],"Germany,":[203],"two":[205,212],"final":[208],"decisions.":[209],"All":[210],"but":[211],"attended":[215],"meeting":[217],"person.":[219],"them":[222,275],"could":[223],"not":[224,301],"make":[225],"it":[226],"personal":[228],"reasons,":[229],"other":[231],"his":[233],"transatlantic":[234],"flight":[235],"canceled;":[236],"they":[237,340],"took":[238],"part":[239],"phone.":[241],"competition":[243],"tough":[245],"reject":[251],"many":[252],"good":[253],"papers.":[254],"Submission":[255],"allowed.":[260],"There":[261],"such":[264],"submissions.":[265,314,378],"Those":[266],"scrutinized":[268],"against":[269],"higher":[271],"standard;":[272],"2":[273],"accepted.":[277],"Authors":[278,315],"possibility":[281],"submit":[283],"additional":[284],"material":[285],"(such":[286],"code":[288],"proofs)":[290],"with":[291,335],"their":[292,332,336],"understanding":[296],"that":[297],"reviewers":[298,359,364],"may":[299],"choose":[300],"look":[303],"it.":[305],"used":[308,372],"authors":[311,375],"27":[313],"previously":[318],"rejected":[319],"another":[321],"given":[324],"option":[326,370],"attach":[328],"previous":[333],"submission,":[334],"explanations":[337],"how":[339],"have":[341],"addressed":[342],"criticisms":[344],"raised.":[345],"These":[346],"comments":[349],"would":[350],"be":[351],"Chair":[356],"only":[357],"identify":[361],"themselves":[362],"earlier":[367],"version.":[368],"As":[379],"keynote":[380],"speakers":[381],"we":[382],"are":[383],"privileged":[384],"Ulf":[387],"Norell":[388],"(Chalmers":[389],"University":[390],"Technology,":[392],"Sweden)":[393],"Simon":[395],"Peyton":[396],"Jones":[397],"(Microsoft":[398],"Research,":[399],"Cambridge,":[400],"UK)":[401],"'13.":[404]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}