
Extending Equational Monadic Reasoning with Monad Transformers
There is a recent interest for the verification of monadic programs usin...
read it

Formal Adventures in Convex and Conical Spaces
Convex sets appear in various mathematical theories, and are used to def...
read it

A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
The algebraic properties of the combination of probabilistic choice and ...
read it

Proving tree algorithms for succinct data structures
Succinct data structures give spaceefficient representations of large a...
read it
Reynald Affeldt
is this you? claim profile