Session Types for Rust

Conference paper published and presented at WGP’15 in Vancouver, Canada. Affiliated with ICFP’15.

Co-authored with Philip Munksgaard and Ken Friis Larsen it is essentially a condensed version of the master thesis of the same name.

• Code: https://github.com/Munksgaard/session-types
• Paper: laumann-munksgaard-larsen.pdf
• ACM Digital Library: https://dl.acm.org/doi/10.1145/2808098.2808100