Safe and scalable parallel programming with session types. - Chun Wang Nicholas Ng (2014)