full record print

Coalgebraic update lenses

author
statement of authorship
Danel Ahman, Tarmo Uustalu
source
journal volume number month
308
year of publication
pages
p. 25-48 : ill
ISSN
1571-0661
notes
Bibliogr.: 21 ref
Special issue: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX): Ithaca, NY, 12–15 June 2014
language
inglise
subject term
keyword
lenses
comonads
monads
coalgebras
algebras
bialgebras
distributive laws
liftings
monoid acts
directed containers
Ahman, D., Uustalu, T. Coalgebraic update lenses // Electronic notes in theoretical computer science (2014) 308, p. 25-48 : ill.