Published March 5, 2022
| Version v1
Software
Open
A Flexible Type System for Fearless Concurrency: Accompanying Artifact
Creators
- 1. University of California, Berkeley
- 2. Cornell University
Description
An implementation of a type-checker (with efficient proof search/inference) for the language described in the PLDI 2022 paper "A Flexible Type System for Fearless Concurrency," available with DOI 10.1145/3519939.3523443 at the The ACM DL in June of 2022. Includes an accompanying virtual machine, with all dependencies installed, capable of building the type checker.
Files
artifact-readme.txt
Files
(3.9 GB)
Name | Size | Download all |
---|---|---|
md5:b762f018c1379665c719b75ef52907c7
|
9.7 kB | Preview Download |
md5:66f77310b855daa124b812f119eb7e24
|
3.9 GB | Download |
md5:ca902db8db65299d595b091e3beddace
|
1.8 MB | Download |