Nov 6, 2020 · In this paper, we extend Monae, a Coq library for monadic equational reasoning, with monad transformers and we explain the benefits of this ...
Jul 12, 2019 · In this paper, we extend Monae, a Coq library for monadic equational reasoning, with monad transformers and we explain the benefits of this ...
Jun 7, 2021 · In this paper, we extend Monae, a Coq library for monadic equational reasoning, with monad transformers and we explain the benefits of this ...
Jul 18, 2021 · The interfaces all inherit from the type class of monads and the interfaces are organized in a hierarchy where they are extended and composed.
Sep 7, 2024 · In this paper, we extend Monae, a Coq library for monadic equational reasoning, with monad transformers and we explain the benefits of this ...
This Coq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning.
Affeldt, R., Nowak, D.: Extending equational monadic reasoning with monad trans- formers. In: 26th International Conference on Types for Proofs and Programs.
Abstract. We extend a Coq formalization of monadic equational reasoning with a monad to represent typed stores. This leads us to design an original ...
This paper extends Monae, a Coq library for monadic equational reasoning, with monad transformers and explains the benefits of this extension.
People also ask
What is the alternative to monad transformer?
What is a monad transformer?
Feb 5, 2016 · The main thing I'm looking for in this article is a way to reason about type classes, and monad-classes doesn't make that any easier. monad- ...