Signals and Comonads

dc.creator	Uustalu,Tarmo
dc.creator	Vene,Tarmo
dc.date	2005
dc.date.accessioned	2024-02-06T12:53:47Z
dc.date.available	2024-02-06T12:53:47Z
dc.description	We propose a novel discipline for programming stream functions and for the semantic description of stream manipulation languages based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads. This seems to be a promising application for the old, but very little exploited idea that if monads abstract notions of computation of a value, comonads ought to be useable as an abstraction of notions of value in a context. We also show that causal partial-stream functions can be described in terms of a combination of a comonad and a monad.
dc.format	text/html
dc.identifier	https://doi.org/10.3217/jucs-011-07-1311
dc.identifier	https://lib.jucs.org/article/28448/
dc.identifier.uri	https://openrepository.mephi.ru/handle/123456789/8813
dc.language	en
dc.publisher	Journal of Universal Computer Science
dc.relation	info:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relation	info:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rights	info:eu-repo/semantics/openAccess
dc.rights	J.UCS License
dc.source	JUCS - Journal of Universal Computer Science 11(7): 1310-1326
dc.subject	comonads
dc.subject	distributive laws
dc.subject	stream functions
dc.subject	dataflow computation
dc.title	Signals and Comonads
dc.type	Research Article