Published March 4, 2023
| Version 0.4.0
Software
Open
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Description
See README.md
Files
README.md
Files
(370.9 MB)
Name | Size | Download all |
---|---|---|
md5:a55f0e69e0f3bee12323afe948883e31
|
370.9 MB | Download |
md5:032353213692801e385aa45a7ba871cd
|
6.9 kB | Preview Download |