{"id":"https://openalex.org/W4238775963","doi":"https://doi.org/10.1145/1596550","title":"Proceedings of the 14th ACM SIGPLAN international conference on Functional programming","display_name":"Proceedings of the 14th ACM SIGPLAN international conference on Functional programming","publication_year":2009,"publication_date":"2009-08-31","ids":{"openalex":"https://openalex.org/W4238775963","doi":"https://doi.org/10.1145/1596550"},"language":"en","primary_location":{"id":"doi:10.1145/1596550","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596550","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":10,"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.9453999996185303,"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.9453999996185303,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9222999811172485,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9187999963760376,"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/computer-science","display_name":"Computer science","score":0.7283584475517273},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.7202112674713135},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5544591546058655},{"id":"https://openalex.org/keywords/clarity","display_name":"CLARITY","score":0.5299537777900696},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.5201907157897949},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5166016817092896},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4719770848751068},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.46223244071006775},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.4547107517719269},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.36101511120796204},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11037597060203552}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7283584475517273},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.7202112674713135},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5544591546058655},{"id":"https://openalex.org/C2777146004","wikidata":"https://www.wikidata.org/wiki/Q14949826","display_name":"CLARITY","level":2,"score":0.5299537777900696},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.5201907157897949},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5166016817092896},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4719770848751068},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46223244071006775},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.4547107517719269},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.36101511120796204},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11037597060203552},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1596550","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596550","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2086338133","https://openalex.org/W4367679314","https://openalex.org/W225526533","https://openalex.org/W2078361494","https://openalex.org/W2009234990","https://openalex.org/W4244083766","https://openalex.org/W2091016074","https://openalex.org/W2023583523","https://openalex.org/W2134615400","https://openalex.org/W26869551"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,9,37,41,108,112,130,143,209,214,221,274,284,308,337,418,431,455],"papers":[4,52,120,135,146,182,309,374,446],"presented":[5],"at":[6,142,279,345],"ICFP":[7,26,80],"2009,":[8],"14th":[10],"ACM":[11],"SIGPLAN":[12],"International":[13],"Conference":[14],"on":[15,55,83],"Functional":[16],"Programming,":[17],"held":[18,350,449],"August":[19],"31-September":[20],"2,":[21],"2009":[22,49],"in":[23,40,247,303,329,351,356],"Edinburgh,":[24],"Scotland.":[25],"provides":[27],"a":[28,257,326,346,379,385,394,399,451],"forum":[29],"for":[30,51,110,140,295,375,398,410],"researchers":[31],"and":[32,43,65,68,76,94,124,136,156,179,183,250,266,311,354,413,447],"practitioners":[33],"to":[34,107,150,168,175,189,206,208,263,269,278,291,306,312,322,331,384,416,450],"hear":[35],"about":[36],"latest":[38],"developments":[39],"art":[42],"science":[44],"of":[45,211,213,223,273,283,381,387,396,430,435],"functional":[46,74,88,229],"programming.":[47],"The":[48],"call":[50,109],"solicited":[53],"submissions":[54,185,260,275,427,440],"topics":[56],"including":[57,90],"language":[58],"design,":[59],"implementation,":[60],"software-development":[61],"techniques,":[62],"foundations,":[63],"transformation":[64],"analysis,":[66],"applications,":[67],"domain-specific":[69],"languages,":[70,96],"as":[71,73,97,99,245],"well":[72,98],"pearls":[75],"short":[77],"experience":[78,126,138,201,241,252],"reports.":[79,127],"welcomes":[81],"work":[82],"all":[84,304,359,444],"languages":[85,100],"that":[86,163,228,411],"encourage":[87],"programming,":[89],"both":[91],"purely":[92],"applicative":[93],"imperative":[95],"with":[101,393],"objects":[102],"or":[103,407],"concurrency.":[104],"In":[105],"response":[106],"papers,":[111],"program":[113,285,338,432],"committee":[114,339,348,362,391],"received":[115],"101":[116],"submissions:":[117],"85":[118],"regular":[119,134,198],"(including":[121],"8":[122],"pearls)":[123],"16":[125],"From":[128],"these,":[129],"programcommittee":[131],"selected":[132],"26":[133],"6":[137],"reports":[139,193],"presentation":[141],"conference.":[144],"Regular":[145,181],"were":[147,159,165,173,186,194,261,289,301,319,343,401,414,425,441,448],"evaluated":[148,160,195],"according":[149,383],"their":[151,296,314],"relevance,":[152],"correctness,":[153],"significance,":[154],"originality,":[155],"clarity.":[157],"Pearls":[158],"similarly,":[161],"except":[162],"they":[164,300,377],"not":[166,204],"required":[167,302,415],"report":[169,202,242,253],"original":[170],"research,":[171],"but":[172,299,360],"expected":[174,205],"be":[176],"concise,":[177],"instructive,":[178],"entertaining.":[180],"pearl":[184],"strictly":[187],"limited":[188],"twelve":[190],"pages.":[191,271],"Experience":[192],"separately":[196],"from":[197,238,371,403],"papers.":[199,457],"An":[200],"is":[203,243,254],"add":[207],"body":[210,222],"knowledge":[212],"functional-programming":[215],"community.":[216],"Rather,":[217],"it":[218,237],"should":[219],"extend":[220],"published,":[224],"refereed,":[225],"citable":[226],"evidence":[227],"programming":[230],"really":[231],"works--or":[232],"describe":[233],"what":[234],"obstacles":[235],"prevent":[236],"working.":[239],"Each":[240,272],"labeled":[244],"such":[246],"its":[248,421],"title,":[249],"an":[251],"shorter":[255],"than":[256,454],"full":[258],"paper:":[259],"restricted":[262],"four":[264],"pages,":[265],"final":[267],"versions":[268],"six":[270],"was":[276,437],"assigned":[277,297],"least":[280],"three":[281,426],"members":[282,288,392,429],"committee.":[286],"Committee":[287],"allowed":[290],"find":[292],"external":[293],"reviewers":[294],"submissions,":[298],"cases":[305],"read":[307],"themselves":[310,370],"form":[313],"own":[315],"opinions.":[316],"Initial":[317],"reviews":[318,406],"made":[320,344],"available":[321],"authors,":[323],"who":[324,364],"had":[325,378],"two-day":[327,347],"period":[328],"which":[330,376,436],"respond.":[332],"Further":[333],"online":[334,408],"discussion":[335,409],"by":[336,358,366,428],"followed.":[340],"Final":[341],"decisions":[342],"meeting":[349],"Portland,":[352],"Oregon":[353],"attended":[355],"person":[357],"one":[361,434],"member,":[363],"participated":[365],"telephone.":[367],"Reviewers":[368],"disqualified":[369],"reviewing":[372],"any":[373,405],"conflict":[380,395],"interest,":[382],"set":[386],"strict":[388],"criteria.":[389],"Program":[390],"interest":[397],"paper":[400,412],"prevented":[402],"seeing":[404],"leave":[417],"room":[419],"during":[420],"live":[422],"discussion.":[423],"There":[424],"committee,":[433],"accepted.":[438],"These":[439],"discussed":[442],"after":[443],"other":[445,456],"higher":[452],"standard":[453]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}