{"id":"https://openalex.org/W4251484379","doi":"https://doi.org/10.1145/1085099","title":"Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming","display_name":"Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming","publication_year":2005,"publication_date":"2005-09-29","ids":{"openalex":"https://openalex.org/W4251484379","doi":"https://doi.org/10.1145/1085099"},"language":"en","primary_location":{"id":"doi:10.1145/1085099","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1085099","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":3,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.994700014591217,"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.9896000027656555,"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/curry","display_name":"Curry","score":0.8283320069313049},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7282265424728394},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.7007480263710022},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.69378262758255},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6601477861404419},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.659339189529419},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.5983149409294128},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3912290036678314},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.3661370277404785},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.274225115776062}],"concepts":[{"id":"https://openalex.org/C2781029818","wikidata":"https://www.wikidata.org/wiki/Q2368856","display_name":"Curry","level":2,"score":0.8283320069313049},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7282265424728394},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.7007480263710022},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.69378262758255},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6601477861404419},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.659339189529419},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.5983149409294128},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3912290036678314},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.3661370277404785},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.274225115776062}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1085099","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1085099","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":[{"score":0.4099999964237213,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1571983596","https://openalex.org/W205709654","https://openalex.org/W1505955281","https://openalex.org/W1493049790","https://openalex.org/W2230132651","https://openalex.org/W1885124609","https://openalex.org/W2953269848","https://openalex.org/W2151540855","https://openalex.org/W1534873390","https://openalex.org/W1537170012"],"abstract_inverted_index":{"The":[0,45,76,219,235],"International":[1,24,178],"Workshop":[2,179],"on":[3,16,26,180,256],"Curry":[4,49,79,104],"and":[5,34,73,94,107,134,149,153,164,171,182,216,246,251,270],"Functional":[6,27,181],"Logic":[7,183],"Programming":[8,28,184],"(WCFLP":[9],"2005),":[10],"took":[11],"place":[12],"in":[13,62,112,128,160,192],"Tallinn":[14],"(Estonia)":[15],"September":[17],"29,":[18],"2005,":[19],"as":[20,230,232],"part":[21],"of":[22,32,52,56,70,78,96,103,115,119,137,147,166,222,227,238],"the":[23,42,53,66,91,144,156,161,176,263,277],"Conference":[25],"(ICFP":[29],"2005).The":[30],"integration":[31],"functional":[33,98,131],"logic":[35,99,132],"programming":[36,140,169],"has":[37],"been":[38,110,190],"extensively":[39],"studied":[40],"during":[41,259],"last":[43],"years.":[44],"declarative":[46,139,168],"multi-paradigm":[47],"language":[48],"is":[50,80,122],"one":[51],"important":[54,68],"results":[55],"this":[57,120],"work":[58],"since":[59],"it":[60],"combines":[61],"a":[63,87,113],"seamless":[64],"way":[65],"most":[67],"features":[69],"functional,":[71],"logic,":[72],"concurrent":[74],"programming.":[75],"development":[77],"an":[81,253],"international":[82],"initiative":[83],"intended":[84],"to":[85,123],"provide":[86],"common":[88],"platform":[89],"for":[90,242,274],"research,":[92],"teaching,":[93],"application":[95],"integrated":[97],"languages.":[100],"Various":[101],"implementations":[102],"are":[105],"available":[106],"they":[108],"have":[109,189],"used":[111],"number":[114],"different":[116,157],"projects.The":[117],"aim":[118],"workshop":[121],"bring":[124],"together":[125],"researchers":[126],"interested":[127,159],"Curry,":[129],"related":[130,172],"languages,":[133],"general":[135],"aspects":[136],"integrating":[138],"paradigms.":[141],"It":[142],"promotes":[143],"cross-fertilizing":[145],"exchange":[146],"ideas":[148],"experiences":[150],"among":[151],"researches":[152],"students":[154],"from":[155],"communities":[158],"foundations,":[162],"applications,":[163],"combinations":[165],"high-level,":[167],"languages":[170],"areas.WCFLP":[173],"2005":[174,224,240],"includes":[175],"annual":[177],"(WFLP).":[185],"Previous":[186],"WFLP":[187],"editions":[188],"held":[191,252],"Aachen":[193],"(2004),":[194],"Valencia":[195],"(2003),":[196],"Grado":[197],"(2002),":[198],"Kiel":[199],"(2001),":[200],"Benicassim":[201],"(2000),":[202],"Grenoble":[203],"(1999),":[204],"Bad":[205],"Honnef":[206],"(1998),":[207],"Schwarzenberg":[208],"(1997,":[209],"1995,":[210],"1994),":[211],"Marburg":[212],"(1996),":[213],"Rattenberg":[214],"(1993),":[215],"Karlsruhe":[217],"(1992).":[218],"technical":[220],"program":[221],"WCFLP":[223,239],"included":[225],"presentations":[226],"standard":[228],"papers":[229,269],"well":[231],"system":[233,247,272],"demonstrations.":[234],"Program":[236,264],"Committee":[237,265],"collected":[241],"each":[243],"submitted":[244],"paper":[245],"description":[248],"three":[249],"reviews":[250],"electronic":[254],"discussion":[255],"all":[257],"submissions":[258],"June":[260],"2005.":[261],"Finally,":[262],"selected":[266],"4":[267],"full":[268],"6":[271],"descriptions":[273],"presentation":[275],"at":[276],"workshop.":[278]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}