| Title | Link |
|---|---|
| Type checking a multithreaded functional language with session types | [type-checking-mt-session-types] |
| Channels as Objects in Concurrent Object-Oriented Programming | [channels-as-objects] |
| Typestate-Oriented Programming | [typestate-oriented] |
| Foundations of Session Types and Behavioural Contracts | [foundations-session-contracts] |
| Behavioral Types in Programming Languages | [behavioral-types-pl] |
| Type Systems | [type-systems] |
| Behavioural Types: from Theory to Tools | [behavioral-theory-tools] |
| Title | File | Link |
|---|---|---|
| Typecheking protocols with Mungo and StMungo: A session type toolchain for Java | behavioral/session-types/1-s2.0-S0167642317302186-main.pdf | |
| Implementing Multiparty Session Types in Rust | behavioral/session-types/Lagaillardie2020_Chapter_ImplementingMultipartySessionT.pdf | |
| A Revision of the Mool Language | behavioral/session-types/mool/1604.06245.pdf | |
| From Object-Oriented Code with Assertions to Behavioural Types | behavioral/session-types/mool/3019612.3019733.pdf | |
| Typechecking Java Protocols with [St]Mungo | behavioral/session-types/mungo/VDG20.pdf | |
| Foundations of Typestate-Oriented Programming | behavioral/typestate/10.1145_2629609.pdf | |
| Typestates to Automata and back: a tool | behavioral/typestate/2009.08769.pdf | |
| Concurrency by Default | onward2009-concurrency.pdf |