How to do proofs? Practically proving properties about effectful programs' results (functional pearl)

Jacobs, KoenKoenJacobsNuyts, AndreasAndreasNuytsDevriese, DminiqueDminiqueDevriese2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/33205How to do proofs? Practically proving properties about effectful programs' results (functional pearl)Proceedings paperhttps://doi.org/10.1145/3331554.3342603