Published November 17, 2023
| Version v2
Software
Open
Artifact: Effectful Software Contracts
- 1. Northeastern University
- 2. Northwestern University
Description
This artifact accompanies the paper "Effectful Software Contracts." For instructions, see this page.
Files
effectful-contracts-with-appendices.pdf
Files
(131.3 MB)
Name | Size | Download all |
---|---|---|
md5:dcbb106dfc3e8a6f5b00f617fcc9392c
|
131.0 MB | Download |
md5:5947d3e3f1d156da866c7f4b99f7ff1b
|
288.7 kB | Preview Download |