Publication:
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
Date
Loading...
Files
Journal
Abstract
Description
Metrics
Views
1875 since deposited on 2021-10-27
Acq. date: 2026-01-07
Citations
Metrics
Views
1875 since deposited on 2021-10-27
Acq. date: 2026-01-07
Citations