rustype/notes

To Do

• 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 const generics.

🏡