Pat is the first actor programming language with mailbox types that enable static detection of four classes of behavioral errors plus ordinary type errors via an algorithmic type system proven sound and complete.
Andr´ e Joyal and Ross Street
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
representative citing papers
A probabilistic runtime extension to typestates adds mutable state, mixed input/output sessions, and monitoring of expected action ratios to model concurrent and quantitative aspects of distributed protocols.
citing papers explorer
-
Special Delivery: Programming with Mailbox Types (Extended Version)
Pat is the first actor programming language with mailbox types that enable static detection of four classes of behavioral errors plus ordinary type errors via an algorithmic type system proven sound and complete.
-
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
A probabilistic runtime extension to typestates adds mutable state, mixed input/output sessions, and monitoring of expected action ratios to model concurrent and quantitative aspects of distributed protocols.
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
- Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence