{"id":"https://openalex.org/W2085070867","doi":"https://doi.org/10.1145/2370776.2370801","title":"Task-oriented programming in a pure functional language","display_name":"Task-oriented programming in a pure functional language","publication_year":2012,"publication_date":"2012-09-19","ids":{"openalex":"https://openalex.org/W2085070867","doi":"https://doi.org/10.1145/2370776.2370801","mag":"2085070867"},"language":"en","primary_location":{"id":"doi:10.1145/2370776.2370801","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2370776.2370801","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th symposium on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2066/103802","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049917627","display_name":"Rinus Plasmeijer","orcid":"https://orcid.org/0009-0007-1606-8412"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Rinus Plasmeijer","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029933203","display_name":"Bas Lijnse","orcid":null},"institutions":[{"id":"https://openalex.org/I4210119716","display_name":"Netherlands Defence Academy","ror":"https://ror.org/02dnvjf04","country_code":"NL","type":"facility","lineage":["https://openalex.org/I4210094335","https://openalex.org/I4210119716","https://openalex.org/I4210140876"]},{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Lijnse","raw_affiliation_strings":["Radboud University Nijmegen & Netherlands Defense Academy, Nijmegen, Netherlands"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen & Netherlands Defense Academy, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I4210119716","https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035042441","display_name":"Steffen Michels","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Steffen Michels","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081280625","display_name":"Peter Achten","orcid":"https://orcid.org/0000-0002-3585-7165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Peter Achten","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053247184","display_name":"Pieter Koopman","orcid":"https://orcid.org/0000-0002-3688-0957"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Pieter Koopman","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5049917627"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":12.4401,"has_fulltext":true,"cited_by_count":44,"citation_normalized_percentile":{"value":0.98317627,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"195","last_page":"206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8784699440002441},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.593085765838623},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.5794122219085693},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5707563757896423},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4658077359199524},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4544012248516083},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4503433406352997},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.445023775100708},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.4281386137008667},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.42266589403152466},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3809491991996765},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.32434552907943726}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8784699440002441},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.593085765838623},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.5794122219085693},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5707563757896423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4658077359199524},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4544012248516083},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4503433406352997},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.445023775100708},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.4281386137008667},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.42266589403152466},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3809491991996765},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.32434552907943726},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2370776.2370801","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2370776.2370801","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th symposium on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/103802","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/103802","pdf_url":"http://hdl.handle.net/2066/103802","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PPDP'12 : Proceedings of the 14th symposium on Principles and practice of declarative programming, 195 - 206. New York : ACM","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/103802","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/103802","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/103802","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/103802","pdf_url":"http://hdl.handle.net/2066/103802","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PPDP'12 : Proceedings of the 14th symposium on Principles and practice of declarative programming, 195 - 206. New York : ACM","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2085070867.pdf","grobid_xml":"https://content.openalex.org/works/W2085070867.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1494460511","https://openalex.org/W1508922656","https://openalex.org/W1525356435","https://openalex.org/W1566738919","https://openalex.org/W1604825170","https://openalex.org/W1604834855","https://openalex.org/W1664374833","https://openalex.org/W1859784341","https://openalex.org/W2008152087","https://openalex.org/W2025445894","https://openalex.org/W2027048725","https://openalex.org/W2039981710","https://openalex.org/W2075139806","https://openalex.org/W2102248562","https://openalex.org/W2106707281","https://openalex.org/W2115116000","https://openalex.org/W2136327713","https://openalex.org/W2136477249","https://openalex.org/W2145714686","https://openalex.org/W2166963150","https://openalex.org/W2172073828","https://openalex.org/W2401896594","https://openalex.org/W2597270458","https://openalex.org/W2911625174","https://openalex.org/W4230172260","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2060445097","https://openalex.org/W3004782279","https://openalex.org/W4239436350","https://openalex.org/W76619263","https://openalex.org/W2286281461","https://openalex.org/W2039406101","https://openalex.org/W4296878212","https://openalex.org/W2405981421","https://openalex.org/W1988194486","https://openalex.org/W1907246400"],"abstract_inverted_index":{"Task-Oriented":[0],"Programming":[1],"(TOP)":[2],"is":[3,124,149],"a":[4,56],"novel":[5],"programming":[6,168],"paradigm":[7],"for":[8,86,137],"the":[9,19,35,42,62,71,76,82,122,159,166],"construction":[10],"of":[11,37,84,131,145],"distributed":[12],"systems":[13],"where":[14],"users":[15,23],"work":[16,100,123],"together":[17],"on":[18,91],"internet.":[20],"When":[21],"multiple":[22],"collaborate,":[24],"they":[25],"need":[26,72],"to":[27,41,66,73,101,117],"interact":[28],"with":[29],"each":[30,119],"other":[31,120],"frequently.":[32],"TOP":[33,89,164],"supports":[34],"definition":[36],"tasks":[38,63,95,116],"that":[39,64,79,96,108],"react":[40],"progress":[43],"made":[44],"by":[45,60],"others.":[46],"With":[47],"TOP,":[48],"complex":[49],"multi-user":[50],"interactions":[51],"can":[52],"be":[53,67],"programmed":[54],"in":[55,125,151,165],"declarative":[57],"style":[58],"just":[59],"defining":[61],"have":[65,104],"accomplished,":[68],"thus":[69],"eliminating":[70],"worry":[74],"about":[75],"implementation":[77],"detail":[78],"commonly":[80],"frustrates":[81],"development":[83],"applications":[85],"this":[87,152],"domain.":[88],"builds":[90],"four":[92],"core":[93,147],"concepts:":[94],"represent":[97],"computations":[98],"or":[99],"do":[102],"which":[103,162],"an":[105,155],"observable":[106],"value":[107],"may":[109],"change":[110],"over":[111],"time,":[112],"data":[113],"sharing":[114],"enabling":[115],"observe":[118],"while":[121],"progress,":[126],"generic":[127],"type":[128],"driven":[129],"generation":[130],"user":[132],"interaction,":[133],"and":[134,139],"special":[135],"combinators":[136],"sequential":[138],"parallel":[140],"task":[141],"composition.":[142],"The":[143],"semantics":[144],"these":[146],"concepts":[148],"defined":[150],"paper.":[153],"As":[154],"example":[156],"we":[157],"present":[158],"iTask3":[160],"framework,":[161],"embeds":[163],"functional":[167],"language":[169],"Clean.":[170]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":7}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}