Conference
TyDe2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development
Title
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
Publication type
Proceedings paper
Embargo date
9999-12-31
