# Session Types for Rust

Conference paper published and presented at
[WGP'15](https://wgp-sigplan.github.io/) in Vancouver, Canada. Affiliated with
ICFP'15.

Co-authored with [Philip Munksgaard](https://munksgaard.me) and [Ken Friis
Larsen](http://hjemmesider.diku.dk/~kflarsen/) 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](/blobs/laumann-munksgaard-larsen.pdf)