User:Et764/Session types

This is not a Wikipedia article: It is an individual user's work-in-progress page, and may be incomplete and/or unreliable. For guidance on developing this draft, see Wikipedia:So you made a userspace draft.

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL
Easy tools: Citation bot (help) | Advanced: Fix bare URLs
This page was last edited by Cydebot (talk | contribs) 5 years ago. (Update timer)

Finished writing a draft article? Are you ready to request an experienced editor review it for possible inclusion in Wikipedia? Submit your draft for review!

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

References

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