Orchardand Yoshida. Using Session Types as an Effect System. Open Publishing Association, Feb. 2016, doi:10.4204/eptcs.203.1.