{"id":"https://openalex.org/W2133356891","doi":"https://doi.org/10.3217/jucs-011-07-1311","title":"Signals and Comonads","display_name":"Signals and Comonads","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2133356891","doi":"https://doi.org/10.3217/jucs-011-07-1311","mag":"2133356891"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6996819","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996819","pdf_url":"https://zenodo.org/record/6996819","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 11((7)) 1310-1326","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996819","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074922343","display_name":"Tarmo Uustalu","orcid":"https://orcid.org/0000-0002-1297-0579"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tarmo Uustalu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5069353491","display_name":"Varmo Vene","orcid":"https://orcid.org/0000-0002-4874-7555"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Tarmo Vene","raw_affiliation_strings":["University of Tartu"],"affiliations":[{"raw_affiliation_string":"University of Tartu","institution_ids":["https://openalex.org/I56085075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5074922343"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.00107957,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"11","issue":null,"first_page":"1310","last_page":"1326"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9983999729156494,"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/monad","display_name":"Monad (category theory)","score":0.8453476428985596},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7851696014404297},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6171706318855286},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6061647534370422},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5819085240364075},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.514327883720398},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5056507587432861},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39737215638160706},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1348712146282196},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.12705367803573608},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11873382329940796},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.0793066918849945},{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.05293768644332886}],"concepts":[{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.8453476428985596},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7851696014404297},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6171706318855286},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6061647534370422},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5819085240364075},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.514327883720398},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5056507587432861},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39737215638160706},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1348712146282196},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.12705367803573608},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11873382329940796},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0793066918849945},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.05293768644332886},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:zenodo.org:6996819","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996819","pdf_url":"https://zenodo.org/record/6996819","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 11((7)) 1310-1326","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.103.1403","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1403","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_11_7/signals_and_comonads/jucs_11_7_1311_1327_vene.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.80.2330","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.2330","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ioc.ee/~tarmo/papers/sblp05-jucs.pdf","raw_type":"text"},{"id":"doi:10.3217/jucs-011-07-1311","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-011-07-1311","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"mag:2133356891","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/db/journals/jucs/jucs11.html#UustaluV05","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6996819","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996819","pdf_url":"https://zenodo.org/record/6996819","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 11((7)) 1310-1326","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4099999964237213}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321018","display_name":"Eesti Teadusfondi","ror":"https://ror.org/00jjeja18"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2133356891.pdf","grobid_xml":"https://content.openalex.org/works/W2133356891.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1488428340","https://openalex.org/W1579416470","https://openalex.org/W1997143185","https://openalex.org/W1998546360","https://openalex.org/W2005976511","https://openalex.org/W2014021676","https://openalex.org/W2037984920","https://openalex.org/W2049440551","https://openalex.org/W2064138295","https://openalex.org/W2066390918","https://openalex.org/W2088189323","https://openalex.org/W2089549471","https://openalex.org/W2101416179","https://openalex.org/W2107354844","https://openalex.org/W2116435685","https://openalex.org/W2125415493","https://openalex.org/W2517671451","https://openalex.org/W2591389664","https://openalex.org/W2989551184"],"related_works":["https://openalex.org/W2101416179","https://openalex.org/W2064138295","https://openalex.org/W2120713972","https://openalex.org/W2591389664","https://openalex.org/W2156876717","https://openalex.org/W2113029863","https://openalex.org/W2037984920","https://openalex.org/W1997143185","https://openalex.org/W2117963053","https://openalex.org/W2116435685","https://openalex.org/W2089549471","https://openalex.org/W2014021676","https://openalex.org/W2005976511","https://openalex.org/W1556536463","https://openalex.org/W111511002","https://openalex.org/W2038651921","https://openalex.org/W1561851616","https://openalex.org/W2096289911","https://openalex.org/W3160523673","https://openalex.org/W1604327066"],"abstract_inverted_index":{"Abstract:":[0],"We":[1,78],"propose":[2],"a":[3,42,61,76,91,94,97],"novel":[4],"discipline":[5],"for":[6,11,45],"programming":[7],"stream":[8,16,28],"functions":[9,29,84],"and":[10,26,96],"the":[12,21,46],"semantic":[13],"description":[14],"of":[15,36,58,60,71,73,90,93],"manipulation":[17],"languages":[18],"based":[19],"on":[20],"observation":[22],"that":[23,53,81],"both":[24],"general":[25],"causal":[27,82],"can":[30,85],"be":[31,41,66,86],"characterized":[32],"as":[33,68],"coKleisli":[34],"arrows":[35],"comonads.":[37],"This":[38],"seems":[39],"to":[40,65],"promising":[43],"application":[44],"old,":[47],"but":[48],"very":[49],"little":[50],"exploited":[51],"idea":[52],"if":[54],"monads":[55],"abstract":[56],"notions":[57,72],"computation":[59],"value,":[62],"comonads":[63],"ought":[64],"useable":[67],"an":[69],"abstraction":[70],"value":[74],"in":[75,88],"context.":[77],"also":[79],"show":[80],"partial-stream":[83],"described":[87],"terms":[89],"combination":[92],"comonad":[95],"monad.":[98]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}