41 citations · 58 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 2 cited
Extending Equational Monadic Reasoning with Monad Transformers
Reynald Affeldt, David Nowak
There is a recent interest for the verification of monadic programs using proof assistants. This line of research raises the question of the integration of monad transformers, a st…
cs.LO2020★ 1 cited
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
Reynald Affeldt, Jacques Garrigue, David Nowak +1
The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formaliz…