Browsing by Author "Devriese, Dminique"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Publication How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
;Jacobs, Koen ;Nuyts, AndreasDevriese, DminiqueProceedings paper2019, TyDe2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 23/08/2019, p.1-13