boystrange/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.
HaskellNOASSERTION
No issues in this repository yet.
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.
HaskellNOASSERTION
No issues in this repository yet.