Published September 15, 2022 | Version v1
Software Open

Checking Equivalence in a Non-strict Language: Artifact

Creators

  • 1. Yale University

Description

Artifact for the paper "Checking Equivalence in a Non-strict Language."

Notes

This work was supported by the National Science Foundation under Grant Numbers CCF-2131476 and CNS-1565208.

Files

ArtifactNew.zip

Files (7.3 GB)

Name Size Download all
md5:ca806feafcfcb0440ac137de1ab52804
7.3 GB Preview Download