dorchard / effects-as-sessions

Formalised embedding of an imperative language with effect system into session-typed pi calculus.
28Updated 9 years ago

Related projects

Alternatives and complementary repositories for effects-as-sessions