Redirecting you to https://2019.ecoop.org/event/ecoop-2019-papers-minimal-session-types-a-pearl-