Fowler, S. , Attard, D. P., Sowul, F., Gay, S. and Trinder, P. (2023) Artifact for "Special Delivery: Programming with Mailbox Types". [Artefact]
Full text not currently available from Enlighten.
Publisher's URL: https://zenodo.org/record/8126809
Abstract
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.
Item Type: | Artefact |
---|---|
Additional Information: | Evaluated (peer-reviewed) artifact for Special Delivery: Programming with Mailbox Types (https://eprints.gla.ac.uk/298712/) |
Glasgow Author(s) Enlighten ID: | Gay, Professor Simon and Fowler, Dr Simon and Attard, Mr Duncan Paul and Sowul, Mr Franciszek and Trinder, Professor Phil |
Authors: | Fowler, S., Attard, D. P., Sowul, F., Gay, S., and Trinder, P. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record