{"id":"https://openalex.org/W4248623832","doi":"https://doi.org/10.1145/1291151","title":"Proceedings of the 12th ACM SIGPLAN international conference on Functional programming","display_name":"Proceedings of the 12th ACM SIGPLAN international conference on Functional programming","publication_year":2007,"publication_date":"2007-10-03","ids":{"openalex":"https://openalex.org/W4248623832","doi":"https://doi.org/10.1145/1291151"},"language":"en","primary_location":{"id":"doi:10.1145/1291151","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1291151","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":21,"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.9513999819755554,"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.9513999819755554,"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.7687519788742065},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.7450702786445618},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.626479983329773},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5519647598266602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5253866314888},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.452913761138916}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7687519788742065},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.7450702786445618},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.626479983329773},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5519647598266602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5253866314888},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.452913761138916},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/1291151","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1291151","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/16","display_name":"Peace, Justice and strong institutions","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4312309273","https://openalex.org/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W1923258046","https://openalex.org/W2132325017","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W4323238794","https://openalex.org/W3016342375"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,9,38,100,114,131,136,234,238,271,275,293,308,318,322,326,340,356,359,363,367,370,404,407,412,416,422,425,439,450,494,522,596,617,620,640,652,673,681,692,699,703,713,739,747,782,785,788,793,797,813,817,828,832,837,843,880],"papers":[4,54,104,108,249,316,332,350,841],"presented":[5],"at":[6,339,647,661],"ICFP":[7,28,73,120,200,345,895],"2007,":[8],"12th":[10],"ACM":[11],"SIGPLAN":[12],"International":[13],"Conference":[14],"on":[15,21,41,57,463,725],"Functional":[16],"Programming,":[17],"which":[18,546,556,560],"took":[19],"place":[20],"1--3":[22],"October":[23],"2007":[24,51,101,346],"in":[25,109,213,270,614,711,736,775,807,886,891,894],"Freiburg,":[26],"Germany.":[27],"provides":[29],"a":[30,110,118,146,223,242,453,542,584,678,802,805,858,867],"forum":[31],"for":[32,53,103,236,273,337,403,430,502,526,635,801,871],"researchers":[33],"and":[34,45,68,84,93,184,194,216,250,263,278,296,333,353,380,393,397,435,624,710,742,804,874],"developers":[35],"to":[36,62,66,71,97,128,130,143,158,181,199,233,344,377,389,399,410,421,448,459,470,500,510,531,549,683,746,752,756,763,767,787,831,846,849,856],"hear":[37],"latest":[39],"work":[40,473],"design,":[42],"foundations,":[43],"implementations,":[44],"uses":[46],"of":[47,133,135,148,229,245,369,406,452,493,521,534,555,574,595,619,639,651,680,691,702,723,784,812,836,840,861,879],"functional":[48,79,154],"programming.":[49],"The":[50,428,863],"call":[52,102,235,272],"requested":[55],"submissions":[56,465,505,643,704,882],"topics":[58],"ranging":[59],"from":[60,64,69,164,529,672],"abstraction":[61],"application,":[63],"foundations":[65],"features,":[67],"principles":[70],"practice.":[72],"welcomes":[74],"all":[75,563,594,732],"languages":[76,90],"that":[77,153,187,383,441,588,616,770,877],"encourage":[78],"programming,":[80],"including":[81],"both":[82],"applicative":[83],"imperative":[85],"languages,":[86],"as":[87,89,211,391,395,419,474,513,631],"well":[88,737],"with":[91,424,719,754],"objects":[92],"concurrency.":[94],"In":[95,231,310,478,517,698,761,834],"addition":[96],"research":[98],"papers,":[99,237,266,274,796,873],"also":[105,398,658,780],"solicited":[106,694],"short":[107],"new":[111],"category":[112],"called":[113],"Experience":[115,123,170,207,218,252,298,335],"Report.":[116],"Unlike":[117],"normal":[119],"paper,":[121],"an":[122,169,217,685],"Report":[124,171,208,219,299],"is":[125,141,209,220,387],"intended":[126,142,388],"not":[127,173,203,287,301,445,458,490,499],"add":[129],"body":[132,147],"knowledge":[134],"functional-programming":[137],"community;":[138],"instead,":[139],"it":[140,163,179,290,304,401,601,854],"help":[144,528],"create":[145],"published,":[149],"refereed,":[150],"citable":[151],"evidence":[152,186],"programming":[155],"really":[156],"works--or":[157],"describe":[159],"what":[160,571],"obstacles":[161],"prevent":[162],"working.":[165],"For":[166],"this":[167],"reason,":[168],"need":[172,202],"present":[174],"novel":[175],"results":[176],"or":[177,362,707,826,889],"conclusions;":[178],"suffices":[180],"provide":[182],"clear":[183],"concise":[185],"can":[188],"be":[189,197,204,390,446,591,768],"used":[190,541,634],"by":[191,438,646,660],"decision-makers.":[192],"Claims":[193],"conclusions":[195],"must":[196,444],"relevant":[198],"but":[201,466,506],"novel.":[205],"Each":[206,638,655],"labeled":[210],"such":[212,630],"its":[214,776],"title,":[215],"shorter":[221],"than":[222],"full":[224,248,265,284,331],"paper:":[225],"four":[226,706],"pages":[227],"instead":[228],"twelve.":[230],"response":[232],"program":[239,327,357,364,408,495,653,674,789,798,814],"committee":[240,328,409,496,523,682,693,799,815,844,864],"received":[241,260,705,716],"record":[243,838,859],"number":[244,839,860],"submissions:":[246],"103":[247],"19":[251],"Reports.":[253],"(The":[254],"previous":[255],"three":[256,649],"years'":[257],"ICFPs":[258],"had":[259,558,565],"74,":[261],"87,":[262],"80":[264],"respectively.)":[267],"As":[268,728],"noted":[269],"length":[276,294],"limits":[277],"deadline":[279],"were":[280,347,351,433,436,456,467,489,497,507,580,608,611,622,734,750],"strictly":[281],"enforced:":[282],"one":[283,297,663],"paper":[285,772],"was":[286,291,300,305,644,657,670,773],"considered":[288,302],"because":[289,303],"over":[292,720],"limit,":[295],"submitted":[306,343],"after":[307],"deadline.":[309],"addition,":[311],"two":[312],"authors":[313,480,557,570,715,786],"withdrew":[314],"their":[315,461,464,472,484,503,726],"during":[317],"review":[319,375,385,443,511,590],"process.":[320],"From":[321],"remaining":[323],"118":[324],"submissions,":[325,418],"selected":[329],"26":[330],"6":[334],"Reports":[336],"presentation":[338],"conference.":[341],"Papers":[342],"reviewed":[348,354,645,659],"double-blind:":[349],"assigned":[352,504,677],"without":[355,552],"committee,":[358,675],"external":[360,687,696],"reviewers,":[361],"chair":[365],"knowing":[366],"identities":[368,485,783],"authors.":[371,427],"I":[372,536,540,568,676,743,779,875],"instituted":[373],"double-blind":[374,431,442,575,589],"primarily":[376],"show":[378],"infrequent":[379],"first-time":[381],"submitters":[382],"ICFP's":[384],"process":[386],"fair":[392],"objective":[394],"possible,":[396],"make":[400],"easier":[402],"members":[405,650,690],"spend":[411],"most":[413,625],"time":[414,766],"reviewing":[415,527],"best":[417],"opposed":[420],"ones":[423],"best-known":[426],"rules":[429],"submission":[432,656],"lightweight":[434],"guided":[437],"princi-ple":[440],"allowed":[447],"compromise":[449],"quality":[451],"submission.":[454],"Authors":[455,610],"asked":[457,498,569],"put":[460],"names":[462],"otherwise":[468,508],"encouraged":[469,509],"disseminate":[471],"they":[475,514,572,599],"normally":[476,515],"would.":[477,516],"particular,":[479,518],"who":[481,578,749],"inadvertently":[482],"disclosed":[483],"(e.g.,":[486],"through":[487],"self-citation)":[488],"penalized.":[491],"Members":[492],"search":[501],"them":[512,745],"any":[519],"mem-ber":[520],"could":[524],"ask":[525],"anyone;":[530],"avoid":[532],"conflicts":[533,551],"interest,":[535],"approved":[537],"each":[538,771,821],"choice.":[539],"simple":[543],"email-based":[544],"mechanism":[545],"enabled":[547],"me":[548],"identify":[550],"becoming":[553],"aware":[554],"written":[559],"papers.":[561,862],"After":[562],"decisions":[564],"been":[566,633],"made,":[567],"thought":[573],"review.":[576],"Those":[577],"responded":[579],"about":[581],"evenly":[582],"divided:":[583],"slight":[585],"majority":[586],"recommended":[587],"continued;":[592],"almost":[593],"rest":[597],"said":[598],"felt":[600],"made":[602],"little":[603],"difference.":[604],"A":[605],"small":[606],"minority":[607],"opposed.":[609],"nearly":[612],"unanimous":[613],"saying":[615],"details":[618],"policy":[621],"important,":[623],"would":[626],"oppose":[627],"heavy-handed":[628],"policies":[629],"have":[632],"other":[636,887],"conferences.":[637],"120":[641],"eligible":[642],"least":[648,662],"committee.":[654,790],"subject-matter":[664,668],"expert;":[665],"when":[666],"no":[667],"expert":[669,686],"available":[671],"member":[679,811],"find":[684],"reviewer.":[688],"Some":[689],"additional":[695],"reviews.":[697,833],"end,":[700],"60%":[701],"more":[708],"reviews,":[709],"total,":[712],"submitting":[714],"478":[717],"reviews":[718,733],"280,000":[721],"words":[722,758],"commentary":[724],"work.":[727],"has":[729],"become":[730],"customary,":[731],"turned":[735],"before":[738],"program-committee":[740],"meeting,":[741],"sent":[744],"authors,":[748],"permitted":[751],"reply":[753,830],"up":[755],"500":[757],"per":[759],"paper.":[760],"order":[762],"give":[764],"advocates":[765],"sure":[769],"placed":[774],"proper":[777],"context,":[778],"revealed":[781],"To":[791],"select":[792],"32":[794],"accepted":[795,872],"met":[800],"day":[803],"half":[806],"Cambridge,":[808],"Massachusetts.":[809],"Every":[810],"attended":[816],"meeting.":[818],"During":[819],"discussion,":[820],"paper's":[822],"primary":[823],"advocate":[824],"read":[825],"summarized":[827],"authors'":[829],"view":[835],"submitted,":[842],"decided":[845],"limit":[847],"speakers":[848],"25":[850],"minutes":[851],"each,":[852],"making":[853],"possible":[855],"accept":[857],"nevertheless":[865],"set":[866],"very":[868],"high":[869],"standard":[870],"expect":[876],"many":[878],"rejected":[881],"will":[883],"soon":[884],"appear":[885],"venues,":[888],"perhaps":[890],"revised":[892],"form":[893],"2008.":[896]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}