A trustful monad for axiomatic reasoning with probability and ...

[2003.09993] A Trustful Monad for Axiomatic Reasoning with ... - arXiv

Abstract:The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in ...

A trustful monad for axiomatic reasoning with probability and nondeterminism - Volume 31.

A Trustful Monad for Axiomatic Reasoning with Probability and ...

The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics.

A Trustful Monad for Axiomatic Reasoning with Probability and ...

The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics.

A Trustful Monad for Axiomatic Reasoning with Probability ... - arXiv

The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program ...

A trustful monad for axiomatic reasoning with probability and ...

Request PDF | A trustful monad for axiomatic reasoning with probability and nondeterminism | The algebraic properties of the combination of probabilistic ...

A Trustful Monad for Axiomatic Reasoning with Probability and ...

Request PDF | A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism | The algebraic properties of the combination of probabilistic ...

A trustful monad for axiomatic reasoning with probability and ...

Abstract The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program ...

A Trustful Monad for Axiomatic Reasoning with Probability and ...

03/22/20 - The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in...

affeldt-aist/monae: Monadic effects and equational reasonig in Coq

This Coq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning.

A trustful monad for axiomatic reasoning with probability and ... - dblp

Reynald Affeldt , Jacques Garrigue, David Nowak, Takafumi Saikawa: A trustful monad for axiomatic reasoning with probability and nondeterminism.

Reynald Affeldt - DBLP

A trustful monad for axiomatic reasoning with probability and nondeterminism. J. Funct. Program. 31: e17 (2021); 2020. [j10]. view. electronic ...

Mathematical Components: Research Papers

A trustful monad for axiomatic reasoning with probability and nondeterminism. JFP 31(E17), 2021. pdf; Kiran Gopinathan, Ilya Sergey. Certifying Certainty and ...

Publications of Jacques Garrigue

A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism: Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa. Journal of ...

Reasoning with Conditional Probabilities and Joint Distributions in ...

A trustful monad for axiomatic reasoning with probability and nondeterminism · Reynald AffeldtJacques GarrigueDavid NowakTakafumi Saikawa. Computer Science ...

Just do it: simple monadic equational reasoning - ACM Digital Library

... reasoning? We think not; and to back that up, we present a simple axiomatic approach to reasoning about programs with computational effects. Supplementary ...

monae/meta.yml at master · affeldt-aist/monae · GitHub

pub_title: A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. pub_doi: 10.1017/S0956796821000137. - pub_url: https://staff.aist.go ...

Towards a Practical Library for Monadic Equational Reasoning in Coq

We explain how we formalize quicksort as a function as Mu and Chiang did [24], proving in Coq the few axioms they left in their Agda formalization. What we ...

‪Takafumi Saikawa‬ - ‪Google Scholar‬

A trustful monad for axiomatic reasoning with probability and nondeterminism. R Affeldt, J Garrigue, D Nowak, T Saikawa. Journal of Functional Programming 31, ...

David Nowak

[2], Reynald Affeldt, Jacques Garrigue, David Nowak, and Takafumi Saikawa. A trustful monad for axiomatic reasoning with probability and nondeterminism. J.