Coalgebraic update lenses
author
Ahman, Danel
Uustalu, Tarmo
statement of authorship
Danel Ahman, Tarmo Uustalu
source
Electronic notes in theoretical computer science
publisher
Elsevier
journal volume number month
Vol. 308
year of publication
2014
pages
p. 25-48 : ill
conference name, date
30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX), 12–15 June 2014
conference location
Ithaca, NY
url
https://doi.org/10.1016/j.entcs.2014.10.003
subject term
läätsed
monaadid
algebra
andmebaasisüsteemid
keyword
lenses
comonads
monads
coalgebras
algebras
bialgebras
distributive laws
liftings
monoid acts
directed containers
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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/20569
https://www.scopus.com/record/display.uri?eid=2-s2.0-84908384283&origin=inward&txGid=d4363c11cd6b22935a6315e99ca27f32
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
TTÜ Küberneetika Instituut
language
inglise