Published March 5, 2022
| Version v1
Software
Open
A Flexible Type System for Fearless Concurrency: Accompanying Artifact
Authors/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.