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