Artifact for "Special Delivery: Programming with Mailbox Types"

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:


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 (
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

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
306912Session Types for Reliable Distributed SystemsSimon GayEngineering and Physical Sciences Research Council (EPSRC)EP/T014628/1Computing Science