Full View

Formal reasoning about layered monadic interpreters

I Yoon, Y Zakowski, S Zdancewic - Proceedings of the ACM on …, 2022 - dl.acm.org
Monadic computations built by interpreting, or handling, operations of a free monad are a
compelling formalism for modeling language semantics and defining the behaviors of …
被引用次数：19 相关文章
[PDF] ens-lyon.fr

[PDF][PDF] Formal Reasoning about Layered Monadic Interpreters

I YOON, Y ZAKOWSKI, S ZDANCEWIC - 2022 - perso.ens-lyon.fr
Authors' addresses: Irene Yoon, University of Pennsylvania, USA, euisuny@ cis. upenn.
edu; Yannick Zakowski, Inria & LIP (UMR CNRS/ENS Lyon/UCB Lyon1/INRIA), Lyon …
[PDF] github.io

[PDF][PDF] Formal Reasoning about Layered Monadic Interpreters

I YOON, Y ZAKOWSKI, S ZDANCEWIC - 2022 - euisuny.github.io
Authors' addresses: Irene Yoon, University of Pennsylvania, USA, euisuny@ cis. upenn.
edu; Yannick Zakowski, Inria & LIP (UMR CNRS/ENS Lyon/UCB Lyon1/INRIA), Lyon …

Formal reasoning about layered monadic interpreters

I Yoon, Y Zakowski, S Zdancewic - Proceedings of the ACM on …, 2022 - inria.hal.science
Monadic computations built by interpreting, or handling, operations of a free monad are a
compelling formalism for modeling language semantics and defining the behaviors of …

Formal reasoning about layered monadic interpreters

I Yoon, Y Zakowski, S Zdancewic - Proceedings of the ACM on …, 2022 - hal.science
Monadic computations built by interpreting, or handling, operations of a free monad are a
compelling formalism for modeling language semantics and defining the behaviors of …
[PDF] ens-lyon.fr

[PDF][PDF] Formal Reasoning about Layered Monadic Interpreters

I YOON, Y ZAKOWSKI, S ZDANCEWIC - 2022 - perso.ens-lyon.fr
Authors' addresses: Irene Yoon, University of Pennsylvania, USA, euisuny@ cis. upenn.
edu; Yannick Zakowski, Inria & LIP (UMR CNRS/ENS Lyon/UCB Lyon1/INRIA), Lyon …

[引用][C] Formal Reasoning about Layered Monadic Interpreters

I YOON, Y ZAKOWSKI, S ZDANCEWIC - 2022