Browsing by author "Devriese, Dminique"

Now showing items 1-1 of 1

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

Jacobs, Koen; Nuyts, Andreas; Devriese, Dminique (2019)