Report - Embedding Session Types in Haskelljgmorrs/pubs/lindley-hs2016-gvhs.pdfmessage body. Session types [6, 7, 20] capture such protocols in the types of communication channels. Session

Please pass captcha verification before submit form