A Very Gentle Introduction to Multiparty Session Types

2019 ◽  
pp. 73-93 ◽  
Author(s):  
Nobuko Yoshida ◽  
Lorenzo Gheri
Keyword(s):  
Session Types

scholarly journals Embedding session types in Haskell

2018 ◽  
Vol 51 (12) ◽  
pp. 133-145 ◽  
Author(s):  
Sam Lindley ◽  
J. Garrett Morris
Keyword(s):  
Session Types

scholarly journals On Polymorphic Sessions and Functions

2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida
Keyword(s):  
Natural Deduction ◽  
Sequent Calculus ◽  
Linear Logic ◽  
Linear Formulation ◽  
Session Types ◽  
Logical Foundation ◽  
Π Calculus ◽  
Soundness And Completeness ◽  
System F ◽  
Algebraic Representations

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.

scholarly journals Verification of MPI Programs Using Session Types

2012 ◽  
pp. 291-293 ◽  
Author(s):  
Kohei Honda ◽  
Eduardo R. B. Marques ◽  
Francisco Martins ◽  
Nicholas Ng ◽  
Vasco T. Vasconcelos ◽  
...  
Keyword(s):  
Session Types

scholarly journals Multiparty Session Types, Beyond Duality (Abstract)

2017 ◽  
Vol 246 ◽  
pp. 37-38
Author(s):  
Alceste Scalas ◽  
Nobuko Yoshida
Keyword(s):  
Session Types

scholarly journals Session Types with Runtime Adaptation: Overview and Examples

2013 ◽  
Vol 137 ◽  
pp. 21-32 ◽  
Author(s):  
Cinzia Di Giusto ◽  
Jorge A. Pérez
Keyword(s):  
Runtime Adaptation ◽  
Session Types
Sign in / Sign up

Export Citation Format

Share Document