- Finish the multi-threaded session types type-checking paper
- Finish the Channels as Objects paper
- Finish sumarizing the typestate-oriented programming paper
- Check Ada and Eiffel for contracts and other typestate-like mechanisms.
- Check Microsoft's project Verona.
- Check the Unison language for which I forgot the name.
- See the activities
- Check the Ballerina language and how it handles protocols.
- Check the upcoming Rust
constgenerics.