Published May 25, 2023
| Version v1
Software
Open
Artifact for "Special Delivery: Programming with Mailbox Types"
Description
This is the artifact for the paper "Special Delivery: Programming with Mailbox Types", accepted to ICFP 2023.
The artifact consists of a QEMU image (based on the ICFP base image) containing the Pat typechecker and scripts to help evaluate the artifact. The typechecker is written in OCaml, and uses Z3 as a backend solver for Presburger formulae.
Further details can be found in the readme file.
Notes
Artifact submitted anonymously for evaluation. Names will be revealed after the evaluation process has completed.
Files
Debugging.md
Files
(1.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c9253bc01bde7a600ee781847af6f7bf
|
3.2 kB | Preview Download |
|
md5:9b6cb69ddf9d98a21aa4b05fbec8a7be
|
1.9 GB | Preview Download |
|
md5:6cb8203be8fcb833f9f99093078e26a9
|
854 Bytes | Download |
|
md5:526f0a251f2575c02acac46e6617b065
|
109.6 kB | Preview Download |
|
md5:68f3e99ad2ebb6e90adcd73cb69830cf
|
9.7 kB | Preview Download |
|
md5:d6fa2a5800927f7b1e266c95c559ef01
|
889 Bytes | Download |
|
md5:72523188e0634a523e7f90e7988e90c7
|
2.1 kB | Download |
Additional details
Funding
- UK Research and Innovation
- Session Types for Reliable Distributed Systems (STARDUST) EP/T014628/1