Effectful applicative bisimilarity: Monads, relators, and Howe's method
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 a monadic …
calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic …
[PDF][PDF] Effectful applicative bisimilarity
U Dal Lago, F Gavazzo, PB Levy - research.birmingham.ac.uk
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 a …
λcalculi with algebraic effects. We first of all endow a computational λ-calculus with a …
Effectful applicative bisimilarity: Monads, relators, and Howe's method
U Dal Lago, F Gavazzo, PB Levy - PROCEEDINGS-SYMPOSIUM ON …, 2017 - cris.unibo.it
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 a …
calculi with algebraic effects. We first of all endow a computational λ-calculus with a …
[PDF][PDF] Effectful applicative bisimilarity
U Dal Lago, F Gavazzo, PB Levy - pure-oai.bham.ac.uk
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 a …
λcalculi with algebraic effects. We first of all endow a computational λ-calculus with a …
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
U Dal Lago, F Gavazzo, PB Levy - LICS 2017-ACM/IEEE …, 2017 - inria.hal.science
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 a monadic …
calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic …
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
U Dal Lago, F Gavazzo, P Blain Levy - arXiv e-prints, 2017 - ui.adsabs.harvard.edu
We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value
$\lambda $-calculi with algebraic effects. We first of all endow a computational $\lambda …
$\lambda $-calculi with algebraic effects. We first of all endow a computational $\lambda …
[PDF][PDF] Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
U Dal Lago, F Gavazzo, PB Levy - scholar.archive.org
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 a monadic …
calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic …
[PDF][PDF] Effectful Applicative Bisimilarity: Monads, Relators, and the Howe's Method
U Dal Lago, F Gavazzo, PB Levy - core.ac.uk
University of Birmingham Effectful Applicative Bisimilarity: Monads, Relators, and the
Howe's Method Page 1 University of Birmingham Effectful Applicative Bisimilarity: Monads …
Howe's Method Page 1 University of Birmingham Effectful Applicative Bisimilarity: Monads …
Effectful applicative bisimilarity: Monads, relators, and Howe's method
UD Lago, F Gavazzo, PB Levy - … -SYMPOSIUM ON LOGIC IN …, 2017 - research.unipd.it
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 a monadic …
calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic …
Effectful applicative bisimilarity: monads, relators, and Howe's method
UD Lago, F Gavazzo, PB Levy - Proceedings of the 32nd Annual ACM …, 2017 - dl.acm.org
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 a monadic …
calculi with algebraic effects. We first of all endow a computational λ-calculus with a monadic …