{"id":"https://openalex.org/W2081280627","doi":"https://doi.org/10.1145/2628136","title":"Proceedings of the 19th ACM SIGPLAN international conference on Functional programming","display_name":"Proceedings of the 19th ACM SIGPLAN international conference on Functional programming","publication_year":2014,"publication_date":"2014-08-19","ids":{"openalex":"https://openalex.org/W2081280627","doi":"https://doi.org/10.1145/2628136","mag":"2081280627"},"language":"en","primary_location":{"id":"doi:10.1145/2628136","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2628136","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":14,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9365000128746033,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9365000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9100000262260437,"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/functional-programming","display_name":"Functional programming","score":0.6894816160202026},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6647418141365051},{"id":"https://openalex.org/keywords/contest","display_name":"CONTEST","score":0.5562759637832642},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.4940979778766632},{"id":"https://openalex.org/keywords/popularity","display_name":"Popularity","score":0.47683945298194885},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.35693949460983276},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2325725257396698},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1276286542415619},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.09726077318191528}],"concepts":[{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6894816160202026},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6647418141365051},{"id":"https://openalex.org/C2777582232","wikidata":"https://www.wikidata.org/wiki/Q5013414","display_name":"CONTEST","level":2,"score":0.5562759637832642},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.4940979778766632},{"id":"https://openalex.org/C2780586970","wikidata":"https://www.wikidata.org/wiki/Q1357284","display_name":"Popularity","level":2,"score":0.47683945298194885},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.35693949460983276},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2325725257396698},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1276286542415619},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.09726077318191528},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2628136","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2628136","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":[{"id":"https://metadata.un.org/sdg/9","score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2946214509","https://openalex.org/W2606108738","https://openalex.org/W4286740636","https://openalex.org/W2628063975","https://openalex.org/W2356479129","https://openalex.org/W2387346515","https://openalex.org/W2352196451","https://openalex.org/W2590086693","https://openalex.org/W2381260192","https://openalex.org/W3122423648"],"abstract_inverted_index":{"It":[0],"is":[1,166,251],"our":[2,335],"great":[3],"pleasure":[4],"to":[5,8,36,59,103,116,208,278,309],"welcome":[6],"you":[7],"Gothenburg":[9],"for":[10,31,64,343,353,369],"the":[11,38,42,54,83,106,163,177,186,212,218,221,231,244,268,280,288,291,295,312,316,345,348,355,371,376],"19th":[12],"ACM":[13],"SIGPLAN":[14],"International":[15],"Conference":[16],"on":[17,41,135,230,258],"Functional":[18,225],"Programming:":[19],"ICFP":[20,178,190,250],"2014.":[21],"This":[22,61,188],"year's":[23,62],"conference":[24,52,165],"continues":[25],"its":[26,255],"tradition":[27],"as":[28,174,176,325,327],"a":[29,169,197],"forum":[30],"researchers,":[32,264],"developers,":[33,265],"and":[34,46,76,95,133,152,206,215,240,254,266,294,301,322,340,366],"students":[35],"discuss":[37],"latest":[39],"work":[40,277,304,314],"design,":[43],"implementation,":[44],"principles,":[45],"use":[47],"of":[48,81,90,149,171,200,220,224,233,247,263,270,299,315,347,374],"functional":[49,74,93,204,234,248],"programming.":[50],"The":[51],"covers":[53],"entire":[55],"spectrum,":[56],"from":[57,203],"theory":[58],"practice.":[60,242],"call":[63],"papers":[65,272],"attracted":[66],"97":[67],"submissions:":[68],"85":[69],"regular":[70],"research":[71,271],"papers,":[72,88,105],"9":[73],"pearls":[75,94],"3":[77],"experience":[78,99],"reports.":[79,100],"Out":[80],"these,":[82],"program":[84,108],"committee":[85],"accepted":[86],"28":[87],"two":[89,97],"which":[91],"are":[92,98,147,153,183],"another":[96],"In":[101],"addition":[102],"these":[104,159],"technical":[107],"includes":[109],"three":[110,141],"invited":[111],"keynotes:":[112],"\"Using":[113],"Formal":[114],"Methods":[115],"Enable":[117],"More":[118],"Secure":[119],"Vehicles:":[120],"DARPA's":[121],"HACMS":[122],"Program\"":[123],"by":[124,130,137,155,168],"Kathleen":[125],"Fisher,":[126],"\"Behavioral":[127],"Software":[128],"Contracts\"":[129],"Robby":[131],"Findler,":[132],"\"Depending":[134],"Types\"":[136],"Stephanie":[138],"Weirich.":[139],"All":[140],"keynote":[142],"presentations":[143],"address":[144],"topics":[145],"that":[146],"currently":[148],"high":[150],"relevance":[151],"presented":[154],"leading":[156],"researchers":[157],"in":[158,236,290],"areas.":[160],"As":[161],"usual,":[162],"main":[164],"complemented":[167],"range":[170,199],"affiliated":[172,194],"events":[173,195],"well":[175,326],"Programming":[179,226],"Contest,":[180],"whose":[181,303],"results":[182],"announced":[184],"during":[185],"conference.":[187],"year,":[189],"comes":[191],"with":[192,334],"eleven":[193],"covering":[196],"wide":[198],"specialist":[201],"topics,":[202],"art":[205],"music":[207],"high-performance":[209],"computing.":[210],"Moreover,":[211],"tutorials,":[213],"talks,":[214],"BoFs":[216],"under":[217],"umbrella":[219],"Commercial":[222],"Users":[223],"(CUFP)":[227],"workshop":[228],"focus":[229],"application":[232],"programming":[235,292,377],"modern":[237],"software":[238],"development":[239],"industrial":[241,336],"With":[243],"increasing":[245],"popularity":[246],"programming,":[249],"steadily":[252,296],"growing":[253,297],"success":[256],"depends":[257],"an":[259],"ever":[260],"larger":[261],"number":[262],"volunteers:":[267],"authors":[269],"who":[273,283,332],"entrust":[274],"their":[275,286],"precious":[276],"ICFP,":[279],"many":[281],"reviewers":[282],"generously":[284],"donate":[285],"time,":[287],"participants":[289],"competition,":[293],"list":[298],"organisers":[300],"volunteers":[302],"enables":[305],"ICFP.":[306],"We":[307],"like":[308],"specifically":[310],"acknowledge":[311],"excellent":[313],"local":[317],"organisers,":[318],"Bj\u00f6rn":[319],"von":[320],"Sydow":[321],"his":[323],"team":[324],"Annabel":[328],"Satin;":[329],"Anil":[330],"Madhavapeddy,":[331],"liaised":[333],"sponsors;":[337],"Tom":[338],"Schrijvers":[339],"Sam":[341],"Tobin-Hochstadt":[342],"overseeing":[344],"organisation":[346],"workshops;":[349],"David":[350],"Van":[351],"Horn":[352],"spreading":[354],"word":[356],"about":[357],"ICFP;":[358],"and,":[359],"last":[360],"but":[361],"not":[362],"least,":[363],"Duncan":[364],"Coutts":[365],"Nicolas":[367],"Wu":[368],"shouldering":[370],"challenging":[372],"task":[373],"organising":[375],"contest.":[378]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}