{"id":"https://openalex.org/W4248946933","doi":"https://doi.org/10.1145/1411204","title":"Proceedings of the 13th ACM SIGPLAN international conference on Functional programming","display_name":"Proceedings of the 13th ACM SIGPLAN international conference on Functional programming","publication_year":2008,"publication_date":"2008-09-20","ids":{"openalex":"https://openalex.org/W4248946933","doi":"https://doi.org/10.1145/1411204"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1411204","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":3,"citation_normalized_percentile":{"value":0.589354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":76},"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":"Logic, programming, and type systems","score":0.9681,"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.9681,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9449,"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/abstraction","display_name":"Abstraction","score":0.5135386},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.43506876}],"concepts":[{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.77576315},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.74548525},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.66577905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5540268},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5135386},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.5095682},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.43506876},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3483318},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3310832},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1411204","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":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.56}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W76619263","https://openalex.org/W54468917","https://openalex.org/W4296878212","https://openalex.org/W4254270758","https://openalex.org/W4232531782","https://openalex.org/W3169832545","https://openalex.org/W3004782279","https://openalex.org/W2286281461","https://openalex.org/W2060445097","https://openalex.org/W1585224757"],"abstract_inverted_index":{"This":[0,414],"volume":[1],"contains":[2],"the":[3,9,38,111,128,143,174,179,276,280,300,305,313,328,332,342,345,367,371,375,392,395,398,412,421,431,450,460,465,472,480,484,496,502,510,520,528,545,588,635,640,695,701,711,727,738,753,757,761,767,785,791,796,810,815,827,851,863,876,881,885,888,892,934,946,949,971,975,980],"papers":[4,54,353,360,424,529,586,672,858,904],"presented":[5,458],"at":[6,341,391,459,491,697,737,772],"ICFP":[7,28,73,104,148,163,242,400],"2008,":[8,147],"13th":[10],"ACM":[11],"SIGPLAN":[12],"International":[13],"Conference":[14],"on":[15,41,57,114,723],"Functional":[16,115],"Programming,":[17],"which":[18,475,832],"took":[19,571],"place":[20],"September":[21],"22-24,":[22],"2008":[23,51],"in":[24,158,255,411,418,468,519,596,620,709,742,766,809,940,982],"Victoria,":[25],"BC,":[26],"Canada.":[27],"provides":[29],"a":[30,96,106,155,161,188,265,407,447,548,594,618,621,646,653,732,735,782,805,847,869,920],"forum":[31],"for":[32,53,278,389,409,616,671,688,731,902,913,924],"researchers":[33],"and":[34,45,68,84,93,133,226,236,258,292,299,316,385,425,470,531,576,708,734,795,905,908,927,960,978,987],"developers":[35],"to":[36,62,66,71,137,142,171,173,186,200,241,275,311,338,405,420,435,444,477,507,515,526,544,557,559,564,605,628,633,813,846,895,898,909,945,968],"hear":[37],"latest":[39,140],"work":[40],"design,":[42],"foundations,":[43],"implementations,":[44],"uses":[46],"of":[47,98,131,176,178,190,271,334,344,351,356,397,430,449,483,495,501,512,539,573,580,584,649,655,692,700,721,740,752,760,807,826,831,856,872,880,933,973,989],"functional":[48,79,122,196,290,383,906,990],"programming.":[49,991],"The":[50,296,349,439,453,499,536,582,854,865,916,963],"call":[52,277],"solicited":[55,150,670],"submissions":[56,487,702,823,836,936],"topics":[58],"ranging":[59],"from":[60,64,69,206,608],"abstraction":[61],"application,":[63],"foundations":[65],"features,":[67],"principles":[70],"practice.":[72],"welcomes":[74,105],"all":[75,840,983],"languages":[76,90],"that":[77,121,195,229,631,931],"encourage":[78],"programming,":[80],"including":[81,593],"both":[82],"applicative":[83],"imperative":[85],"languages,":[86],"as":[87,89,253,663,665],"well":[88,664],"with":[91,562,673,717,804,970],"objects":[92],"concurrency.":[94],"Besides":[95],"number":[97,871],"established":[99],"affiliated":[100],"workshops,":[101],"this":[102,139,209,357,574,656,689],"year":[103],"particularly":[107],"exciting":[108],"new":[109],"companion,":[110],"Developer":[112],"Tracks":[113],"Programming.":[116],"They":[117,843],"are":[118],"visible":[119],"evidence":[120,194,228],"programming":[123,197,401,473],"is":[124,168,184,251,262,601,929],"taking":[125],"off":[126],"into":[127,887],"real":[129],"world":[130],"computing":[132],"I":[134],"am":[135],"happy":[136],"welcome":[138],"addition":[141,419,944],"ICFP-affiliated":[144],"events.":[145],"In":[146,273,694,943],"again":[149],"short":[151],"experience":[152,166,212,249,260,294,387,914],"reports,":[153],"continuing":[154],"practice":[156],"initiated":[157],"2007.":[159],"Unlike":[160],"regular":[162,287,318,380,903],"paper,":[164,792],"an":[165,211,259],"report":[167,213,250,261,408,415,440],"not":[169,215,245,321,456,860],"intended":[170,185],"add":[172],"body":[175,189],"knowledge":[177],"functional-programming":[180],"community.":[181],"Rather,":[182,462],"it":[183,205,222,324,463,928],"create":[187],"published,":[191],"refereed,":[192],"citable":[193],"really":[198],"works--or":[199],"describe":[201],"what":[202],"obstacles":[203],"prevent":[204,606],"working.":[207],"For":[208],"reason,":[210],"need":[214,244],"present":[216,861],"novel":[217],"results":[218],"or":[219,676,705],"conclusions;":[220],"but":[221,243,749],"must":[223,238],"provide":[224],"clear":[225],"concise":[227],"can":[230],"be":[231,239,246,339,457,613,626],"used":[232],"by":[233,363,428,446,490,592,666,824,955],"decision-makers.":[234],"Claims":[235],"conclusions":[237],"relevant":[240],"novel.":[247],"Each":[248,482,776],"labeled":[252],"such":[254],"its":[256,437,793,818],"title,":[257],"shorter":[263],"than":[264,850],"full":[266],"paper:":[267],"four":[268,704],"pages":[269],"instead":[270],"twelve.":[272],"response":[274,551,642],"papers,":[279,288,381,874,926,948],"program":[281,346,376,432,451,497,503,728,754,828,866,886,951,964,981],"committee":[282,347,377,433,504,729,755,802,867,893,917,965],"received":[283,703,714],"99":[284,423],"submissions:":[285],"87":[286],"4":[289],"pearls,":[291],"9":[293],"reports.":[295,915],"length":[297,314],"limits":[298,315],"deadline":[301],"were":[302,361,403,505,524,555,669,686,821,837,844,859],"strictly":[303],"enforced:":[304],"submission":[306],"software":[307],"was":[308,320,325,416,426,441,488,541,645,780,833],"set":[309,919],"up":[310,563],"enforce":[312],"one":[317,830],"paper":[319,454,777,811],"considered":[322],"because":[323],"submitted":[326,417],"after":[327,839],"deadline.":[329],"Authors":[330],"had":[331,681,812],"opportunity":[333,575],"submitting":[335,712],"supplementary":[336],"material":[337],"examined":[340],"discretion":[343],"members.":[348],"authors":[350,365,546,554,570,583,607,713,855],"8":[352],"made":[354,542],"use":[355],"opportunity.":[358],"Two":[359,759],"withdrawn":[362],"their":[364,533,560,597,724],"during":[366,547,817,862],"review":[368,680],"process.":[369],"From":[370],"remaining":[372],"97":[373],"submissions,":[374],"selected":[378],"29":[379],"1":[382],"pearl,":[384],"5":[386],"reports":[388],"presentation":[390],"conference.":[393,461,481],"Furthermore,":[394],"organizers":[396],"2007":[399],"contest":[402],"invited":[404,953,966],"submit":[406],"inclusion":[410],"proceedings.":[413],"above":[422],"reviewed":[427,489],"members":[429,494,500,662,751,764,803,825],"chiefly":[434],"improve":[436],"presentation.":[438],"accepted":[442,868,925],"subject":[443],"shepherding":[445],"member":[448],"committee.":[452,498],"will":[455,625,937],"honors":[464],"efforts":[466],"involved":[467],"preparing":[469],"executing":[471],"contest,":[474],"serves":[476],"widely":[478],"advertise":[479],"98":[485],"eligible":[486],"least":[492,698],"three":[493,750,762,889],"encouraged":[506],"draw":[508],"upon":[509],"expertise":[511],"external":[513,667],"reviewers":[514,624],"check":[516],"technical":[517],"details":[518],"submissions.":[521,882],"However,":[522],"they":[523],"obliged":[525],"read":[527],"themselves":[530],"build":[532],"own":[534],"opinion.":[535],"first":[537],"batch":[538],"reviews":[540,561,659,675,716],"available":[543],"two-day":[549],"author":[550,641],"period,":[552,643],"where":[553,677],"permitted":[556],"reply":[558],"500":[565,636],"words":[566,579,720],"per":[567],"paper.":[568],"89":[569],"advantage":[572],"generated":[577],"35,000":[578],"responses.":[581],"two":[585,822],"subverted":[587],"word":[589,637],"count":[590],"restriction":[591],"URL":[595,619],"response.":[598],"As":[599,652],"there":[600,644],"no":[602,678],"sensible":[603],"way":[604],"doing":[609],"so":[610],"(there":[611],"may":[612],"good":[614],"reasons":[615],"putting":[617],"response),":[622],"future":[623],"instructed":[627],"ignore":[629],"responses":[630],"attempt":[632],"stretch":[634],"limit.":[638],"After":[639],"brief":[647],"period":[648],"online":[650],"discussion.":[651,819,864],"result":[654],"discussion,":[657],"further":[658],"(by":[660],"committe":[661],"reviewers)":[668],"conflicting":[674],"expert":[679],"been":[682],"provided.":[683],"Three":[684],"weeks":[685],"allocated":[687],"second":[690],"round":[691],"reviewing.":[693],"end,":[696],"26%":[699],"more":[706],"reviews,":[707,794],"total,":[710],"327":[715],"about":[718],"230,000":[719],"commentary":[722],"work.":[725],"Finally,":[726],"met":[730],"day":[733],"half":[736],"University":[739],"Utah":[741],"Salt":[743],"Lake":[744],"City,":[745],"Utah,":[746],"USA.":[747],"All":[748],"attended":[756],"meeting.":[758],"absent":[763],"participated":[765],"discussion":[768,779],"via":[769],"telephone":[770],"calls":[771],"odd":[773],"local":[774],"times.":[775],"under":[778],"assigned":[781],"speaker,":[783],"usually":[784],"primary":[786],"advocate,":[787],"who":[788],"briefly":[789],"summarized":[790],"authors'":[797],"response,":[798],"if":[799],"any.":[800],"Program":[801],"conflict":[806],"interest":[808],"leave":[814],"room":[816],"There":[820],"committee,":[829],"accepted.":[834],"Both":[835],"discussed":[838],"other":[841,852,941],"papers.":[842,853],"held":[845],"higher":[848],"standard":[849,923],"these":[857],"record":[870],"36":[873],"reflecting":[875],"overall":[877],"high":[878,922],"quality":[879],"To":[883],"fit":[884],"days":[890],"available,":[891],"decided":[894],"limit":[896],"presenters":[897],"25":[899],"minutes":[900,911],"each":[901,912],"pearls":[907],"20":[910],"nevertheless":[918],"very":[921],"expected":[930],"many":[932],"rejected":[935],"soon":[938],"appear":[939],"venues.":[942],"contributed":[947,976],"ICFP'08":[950],"includes":[952],"lectures":[954],"Olivier":[956],"Danvy,":[957],"Mark":[958],"Jones,":[959],"Butler":[961],"Lampson.":[962],"them":[967],"speak":[969],"goal":[972],"comple-menting":[974],"presentations":[977],"enhancing":[979],"dimensions,":[984],"theory,":[985],"practice,":[986],"application":[988]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4248946933","counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2024-12-17T00:59:57.001735","created_date":"2022-05-12"}