Coalgebraic update lenses
autor
Ahman, Danel
Uustalu, Tarmo
vastutusandmed
Danel Ahman, Tarmo Uustalu
allikas
Electronic notes in theoretical computer science
ajakirja aastakäik number kuu
308
ilmumisaasta
2014
leheküljed
p. 25-48 : ill
märksõna
läätsed
monaadid
algebra
andmebaasisüsteemid
võtmesõna
lenses
comonads
monads
coalgebras
algebras
bialgebras
distributive laws
liftings
monoid acts
directed containers
ISSN
1571-0661
märkused
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
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise