Live briefing
Everything about Session type
In type theory, session types are used to ensure correctness in concurrent programs. They guarantee that messages sent and received between concurrent programs are in the expected order and of the expected type. Session type systems have been adapted for both channel and actor systems. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Session typeA 5-minute orientation
- Skim a recent paper: Session Fidelity for ElixirST: A Session-Based Type System for Elixir ModulesInfluential work since 2022
- Pick up a classic book: The Crying of Lot 49The most-reprinted book on the subject
- Read the landmark paper: Linear type theory for asynchronous session typesCited 149 times
- Go sideways: Choreographic programmingA closely related topic
- Go sideways: List of programming languages by typeA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Linear type theory for asynchronous session types
Type checking a multithreaded functional language with session types
Actris: session-type based reasoning in separation logic
Session Type Inference in Haskell
Context-Free Session Type Inference
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Multiparty Session Type-safe Web Development with Static Linearity
Poster Session III: Q: Tension-Type Headache
🆕 Influential since 2022
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
ElixirST: A session-based type system for Elixir modules
Impact Biomechanics Reveal Positional and Session Type Differences in Canadian Collegiate Football
Local Type Inference for Context-Free Session Types
Session-based concurrency in Maude: Executable semantics and type checking
📚 Books worth reading
The Crying of Lot 49Thomas Pynchon, Antonio-Prometeo Moya · 1965
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Choreographic programming In computer science, choreographic programming is a programming paradigm for distributed systems, where programs are written as compositions of interactions…
- List of programming languages by type The notable programming languages listed here are grouped by their notable language attribute. As a language can have multiple attributes, the same language…
- Expression-oriented programming language An expression-oriented programming language is a programming language in which every (or nearly every) construction is an expression and thus yields a…
- Multitier programming Multitier programming (or tierless programming) is a programming paradigm for distributed software, which typically follows a multitier architecture, physically…
- Functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative…
- Comparison of functional programming languages The table shows a comparison of functional programming languages which compares various features and designs of different functional programming languages…
- QuickCheck QuickCheck is a software library, a combinator library, originally written in the programming language Haskell, designed to assist in software testing…
- Rosetta Code Rosetta Code is a wiki-based programming chrestomathy website with implementations of common algorithms and solutions to various programming problems in…