Skip to content
Institutional repository
Communities & Collections
Browse
Site
Log In
imec Publications
Conference contributions
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
Publication:
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
Date
2019
Proceedings Paper
Simple item page
Full metadata
Statistics
Loading...
Loading...
Files
44899.pdf
955.45 KB
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Jacobs, Koen
;
Nuyts, Andreas
;
Devriese, Dminique
Journal
Abstract
Description
Metrics
Views
1874
since deposited on 2021-10-27
Acq. date: 2025-10-27
Citations
Metrics
Views
1874
since deposited on 2021-10-27
Acq. date: 2025-10-27
Citations