How to do proofs: practically proving properties about effectful programs' results (functional pearl).

Koen Jacobs, Andreas Nuyts, Dominique Devriese

Browse the full ICFP paper archive.