7 citations · 29 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 6 cited
A Semantics for Hybrid Iteration
Sergey Goncharov, Julian Jakob, Renato Neves
The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in t…
cs.LO2018★ 5 cited
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
Fredrik Dahlqvist, Renato Neves
Emerging computational paradigms, such as probabilistic and hybrid programming, introduce new primitive operations that often need to be combined with classic programming construct…