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

  • 1. Department of Computer Science, University of Copenhagen, Denmark

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