BibTex format @inbook{Orchard:2017,author = {Orchard, D and Yoshida, N},booktitle = {Behavioural Types: from Theory to Tools},title = {Session Types with Linearity in Haskell},year = {2017}} Download
RIS format (EndNote, RefMan) TY - CHAPAU - Orchard,DAU - Yoshida,NPY - 2017///TI - Session Types with Linearity in HaskellT1 - Behavioural Types: from Theory to ToolsER - Download