Description
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
| Date made available | 2023 |
|---|---|
| Publisher | Zenodo |
Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
- Martin Elsman (Creator)
Dataset