Slide 1 Session-Typed Concurrent Programming Frank Pfenning Carnegie Mellon University Joint work with Luís Caires, Bernardo Toninho, Jorge Peréz, Dennis Griffith, Elsa…