SimonJF / mbcheck

Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
15Updated last month

Alternatives and similar repositories for mbcheck:

Users that are interested in mbcheck are comparing it to the libraries listed below