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