Published November 15, 2023
| Version v1
Software
Open
Artifact: Effectful Software Contracts
Authors/Creators
- 1. Northeastern University
- 2. Northwestern University
Description
This artifact accompanies the paper "Effectful Software Contracts." For instructions, see this page.
Files
Files
(131.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:dcbb106dfc3e8a6f5b00f617fcc9392c
|
131.0 MB | Download |