ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

This artifact accompanies the paper “Special Delivery: Programming with Mailbox Types”. It includes an OCaml implementation of the typechecker described in the paper, in particular implementing the algorithmic type system. The artifact includes all of the examples in the paper.