Redirecting you to https://2019.ecoop.org/details/ecoop-2019-papers/28/Minimal-Session-Types