Software Open Access
A Flexible Type System for Fearless Concurrency: Accompanying Artifact
Milano, Mae;
Turcotti, Joshua;
Myers, Andrew
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
(3.9 GB)
| Name | Size | |
|---|---|---|
|
artifact-readme.txt
md5:b762f018c1379665c719b75ef52907c7 |
9.7 kB | Download |
|
Artifact145Box.ova
md5:66f77310b855daa124b812f119eb7e24 |
3.9 GB | Download |
|
pldi_code_submission.tar.bz2
md5:ca902db8db65299d595b091e3beddace |
1.8 MB | Download |
242
107
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 242 | 242 |
| Downloads | 107 | 107 |
| Data volume | 66.9 GB | 66.9 GB |
| Unique views | 224 | 224 |
| Unique downloads | 71 | 71 |
Indexed in
- Publication date:
- March 5, 2022
- DOI:
-
- License (for files):
- Creative Commons Attribution 4.0 International