Session types for Rust. - Thomas Bracht Laumann Jespersen; Philip Munksgaard; Ken Friis Larsen (WGP@ICFP, 2015)