research
∙
11/06/2020
Extending Equational Monadic Reasoning with Monad Transformers
There is a recent interest for the verification of monadic programs usin...
share
research
∙
03/22/2020
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
The algebraic properties of the combination of probabilistic choice and ...
research
∙
09/04/2019
