{"id":"https://openalex.org/W2913608592","doi":"https://doi.org/10.1145/2784731","title":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","display_name":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming","publication_year":2015,"publication_date":"2015-08-26","ids":{"openalex":"https://openalex.org/W2913608592","doi":"https://doi.org/10.1145/2784731","mag":"2913608592"},"language":"en","primary_location":{"id":"doi:10.1145/2784731","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2784731","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/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.8317000269889832,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.8317000269889832,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.6895481944084167},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5064586400985718},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.4808376729488373},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.32918280363082886}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6895481944084167},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5064586400985718},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4808376729488373},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.32918280363082886}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2784731","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2784731","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/W3136890312","https://openalex.org/W2259894237","https://openalex.org/W4312309273","https://openalex.org/W2132325017","https://openalex.org/W1923258046","https://openalex.org/W1671914757","https://openalex.org/W593478746","https://openalex.org/W2100079361","https://openalex.org/W2968873290","https://openalex.org/W3016342375"],"abstract_inverted_index":{"Welcome":[0],"to":[1,187,199,206],"the":[2,16,25,29,46,56,86,113,122,176,188,202,243,258,266,277,280,287,290],"16th":[3],"ACM":[4],"SIGPLAN":[5],"International":[6],"Conference":[7],"on":[8,15,249],"Functional":[9],"Programming":[10],"--":[11],"ICFP'11.":[12],"The":[13,157],"picture,":[14],"front":[17],"cover,":[18],"is":[19,58,90,98],"of":[20,28,32,61,68,105,125,175,184,257,268,276,279,289],"Mount":[21],"Fuji,":[22],"seen":[23],"from":[24,121],"20th":[26],"floor":[27],"National":[30],"Institute":[31],"Informatics":[33],"(NII).":[34],"It":[35,75,131],"was":[36,107,132,224],"taken":[37],"by":[38,73,109,134,219,226],"Sebastian":[39],"Fischer":[40],"in":[41,85,190,254,286],"January":[42],"2011.":[43],"In":[44,197,232],"Japanese,":[45],"characters":[47],"\"human\"":[48,69],"and":[49,55,93,112,118,128,153,169,210,283],"\"lambda\"":[50],"have":[51,70],"a":[52,59,81,100],"similar":[53],"shape,":[54],"text":[57],"combination":[60],"famous":[62],"Japanese":[63],"proverbs":[64,106],"where":[65,88],"all":[66],"occurrences":[67],"been":[71],"replaced":[72],"\"lambda\".":[74],"translates":[76],"as":[77],"follows:":[78],"\u2022Lambda":[79,83],"has":[80,119],"history":[82],"exists":[84],"place":[87,248],"virtue":[89],"\u2022Respect":[91],"heaven":[92],"love":[94],"lambda":[95,97],"\u2022One":[96],"worth":[99],"thousand":[101],"(things)":[102],"This":[103],"bouquet":[104],"composed":[108],"Zhenjiang":[110],"Hu":[111],"local":[114],"organizers":[115],"at":[116,227,265],"NII,":[117],"benefited":[120],"kind":[123],"assistance":[124],"Kenichi":[126],"Asai":[127],"Jacques":[129],"Garrigue.":[130],"written":[133],"Isao":[135],"Sasano's":[136],"calligraphy":[137],"teacher,":[138],"Keigai":[139],"Nukata.":[140],"There":[141],"were":[142,180,195,216,272],"112":[143,177],"submissions":[144,218],"this":[145,200],"year:":[146],"92":[147],"research":[148,162],"papers,":[149],"8":[150,179],"functional":[151,166],"pearls,":[152],"12":[154],"experience":[155,171],"reports.":[156],"Program":[158],"Committee":[159],"selected":[160],"33":[161],"papers":[163],"(1/3),":[164],"2":[165],"pearls":[167],"(1/4),":[168],"3":[170,229],"reports":[172],"(1/4).":[173],"Out":[174],"submissions,":[178],"\"forces":[181],"majeures\"":[182],"(acts":[183],"God)":[185],"related":[186],"earthquake":[189],"Japan.":[191],"Among":[192],"those,":[193],"4":[194],"selected.":[196],"addition":[198],"selection,":[201],"PC":[203,220,230,240,244,281],"also":[204],"chose":[205],"invite":[207],"Andrzej":[208],"Filinski":[209],"Makoto":[211],"Takeyama.":[212],"For":[213],"simplicity,":[214],"there":[215],"no":[217],"members.":[221,231],"Each":[222],"submission":[223],"reviewed":[225],"least":[228],"addition,":[233],"we":[234],"consulted":[235],"113":[236],"external":[237],"reviewers.":[238],"All":[239],"members":[241],"attended":[242],"meeting,":[245,282],"which":[246],"took":[247],"May":[250],"26-27,":[251],"Avenue":[252],"d'Italie,":[253],"Paris,":[255],"courtesy":[256],"PPS":[259],"Laboratory":[260],"(Preuves,":[261],"Programmes":[262],"et":[263],"Syst\u00e8mes)":[264],"University":[267],"Paris":[269],"7.":[270],"Notifications":[271],"sent":[273],"within":[274],"hours":[275],"completion":[278],"updated":[284],"reviews":[285],"course":[288],"following":[291],"week.":[292]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-02-21T00:00:00"}