69 citations · 205 across the 22 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 3 cited
Interaction laws of monads and comonads
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
We introduce and study functor-functor and monad-comonad interaction laws as mathematical objects to describe interaction of effectful computations with behaviors of effect-perform…
cs.FL2019
Reordering Derivatives of Trace Closures of Regular Languages (Full Version)
Hendrik Maarand, Tarmo Uustalu
We provide syntactic derivative-like operations, defined by recursion on regular expressions, in the styles of both Brzozowski and Antimirov, for trace closures of regular language…