Published September 20, 2021
| Version v1
Software
Open
Transitioning from Structural to Nominal Code with Efficient Gradual Typing: Artifact
Description
This is the software artifact for the OOPSLA 2021 paper "Transitioning from Structural to Nominal Code
with Efficient Gradual Typing".
It contains the source code for MonNom, the setup to reproduce all benchmark results shown in the paper, and the data for the plots presented in the paper. The artifact is a virtual machine where everything is already compiled and set up to run the benchmarks. For up-to-date source code, please check https://github.com/fabianmuehlboeck/monnom/tree/release/oopsla21 . The password for the user of the virtual machine is "monnom". The artifact was packaged with Oracle VirtualBox 6.1.22 .
Files
Files
(7.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5505ce4fedb0c5f325ee9b9e2e31ada1
|
87.8 kB | Download |
|
md5:d95f6f0f8685f15e566409dfd3f54c47
|
7.0 GB | Download |
|
md5:cc3c33f0d3bbfe2daa6a5180386bc6b6
|
450.9 kB | Download |
|
md5:276ce2f1ab9a387a4d46f3c7be87d1d3
|
104.8 kB | Download |
Additional details
Funding
- CAREER: Gradual Typing for Industry Programming 1350182
- U.S. National Science Foundation
- Formal methodes for the design and analysis of complex systems Z 211
- FWF Austrian Science Fund