Published July 8, 2023
| Version v2
Software
Open
Artifact for "Special Delivery: Programming with Mailbox Types"
- 1. University of Glasgow
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 evaluated as "Reusable" by ICFP'23 AEC.
Files
Debugging.md
Files
(1.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c9253bc01bde7a600ee781847af6f7bf
|
3.2 kB | Preview Download |
|
md5:b3941debff1bc84d43eafecc13dac502
|
1.9 GB | Preview Download |
|
md5:6cb8203be8fcb833f9f99093078e26a9
|
854 Bytes | Download |
|
md5:ef9c744b9794e8d0a1cafea3f1b7f9ef
|
9.5 kB | Preview Download |
|
md5:d6fa2a5800927f7b1e266c95c559ef01
|
889 Bytes | Download |
|
md5:72523188e0634a523e7f90e7988e90c7
|
2.1 kB | Download |
Additional details
Related works
- Is supplement to
- Journal article: 10.1145/3607832 (DOI)
Funding
- Session Types for Reliable Distributed Systems (STARDUST) EP/T014628/1
- UK Research and Innovation