Jump to content

User:Et764/Session types

From Wikipedia, the free encyclopedia

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

References

[edit]

Gay, Simon; Vasconcelos, Vasco; Ravara, António. Session Types for Inter-Process Communication (Technical report). University of Glasgow. TR-2003-133.