Published October 21, 2020 | Version v0.1
Software Open

Coquihalla/agt-moving-forward: Supporting Artifacts from POPL '21 submission

Authors/Creators

  • 1. University of British Columbia

Description

Artifacts associated with the POPL'21 Paper "Abstracting Gradual Typing Moving Forward"

Files

Coquihalla/agt-moving-forward-v0.1.zip

Files (48.8 kB)

Name Size
md5:9cf255d67330d2e44f4acbbf4bd48822
48.8 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/Coquihalla/agt-moving-forward/tree/v0.1 (URL)