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