9 citations · 39 across the 19 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 3 cited
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value -calculi with algebraic effects. We first of all endow a computational -calculus with…
cs.PL2017
A monad for full ground reference cells
Ohad Kammar, Paul B. Levy, Sean K. Moss +1
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in…