/FairCheck

FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

Primary LanguageHaskellOtherNOASSERTION

Watchers