SimonJF / mbcheckLinks

Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
15Updated 2 weeks ago

Alternatives and similar repositories for mbcheck

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

Sorting: