User:Et764/Session types

In programming languages, session types allow programmers to encode communication protocols in a way that can be statically enforced by a compiler.