Show simple item record

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

dc.contributor.authorJacobs, Koen
dc.contributor.authorNuyts, Andreas
dc.contributor.authorDevriese, Dminique
dc.date.accessioned2021-10-27T10:48:44Z
dc.date.available2021-10-27T10:48:44Z
dc.date.issued2019
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/33205
dc.sourceIIOimport
dc.titleHow to do proofs? Practically proving properties about effectful programs' results (functional pearl)
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage1
dc.source.endpage13
dc.source.conferenceTyDe2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development
dc.source.conferencedate23/08/2019
dc.source.conferencelocationBerlin Germnay
dc.identifier.urlhttps://doi.org/10.1145/3331554.3342603
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
44899.pdf
Size:
955.4Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record