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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2023 1verdicts
CONDITIONAL 1representative citing papers
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.