Combining algebraic effect descriptions using the tensor of complete lattices

vastutusandmed
Niels Voorneveld
ajakirja aastakäik number kuu
vol. 352
ilmumisaasta
leheküljed
p. 257-281
võtmesõna
algebraic effects
Eilenberg-Moore algebra
tree monad
complete lattice
tensor product
program equivalence
quantitative logic
applicative bisimilarity
global store
ISSN
1571-0661
märkused
Bibliogr.: 32 ref
TTÜ struktuuriüksus
keel
inglise
Voorneveld, N. Combining algebraic effect descriptions using the tensor of complete lattices // Electronic notes in theoretical computer science (2020) vol. 352, p. 257-281.