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

dc.contributor.author	Jacobs, Koen
dc.contributor.author	Nuyts, Andreas
dc.contributor.author	Devriese, Dminique
dc.date.accessioned	2021-10-27T10:48:44Z
dc.date.available	2021-10-27T10:48:44Z
dc.date.embargo	9999-12-31
dc.date.issued	2019
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/33205
dc.identifier.url	https://doi.org/10.1145/3331554.3342603
dc.source.beginpage	1
dc.source.conference	TyDe2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development
dc.source.conferencedate	23/08/2019
dc.source.conferencelocation	Berlin Germnay
dc.source.endpage	13
dc.title	How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
dc.type	Proceedings paper
dspace.entity.type	Publication
Files	Original bundle Name: 44899.pdf Size: 955.45 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Conference contributions

Date