Type Inference for Session Types in the π-calculus. - Eva Fajstrup Graversen; Jacob Buchreitz Harbo; Hans Hüttel; Mathias Ormstrup Bjerregaard; Niels Sonnich Poulsen; Sebastian A. Wahl (WS-FM, 2015)