Subtyping for session types in the pi calculus

By Simon J. Gay, Malcolm Hole. Acta Informatica, 2005

411 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems

View Paper: https://www.semanticscholar.org/paper/af079c07ab123fc66a3fa83413f1849b1a74c50c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Philip Wadler
2. Kohei Honda
3. Marco Carbone
4. Nobuko Yoshida
5. Luís Caires
6. Frank Pfenning

In Information Systems

1. Nobuko Yoshida
2. Kohei Honda
3. Marco Carbone
4. Luís Caires
5. Frank Pfenning
6. Philip Wadler

Citations in the corpus

• Session Types as Intuitionistic Linear Propositions (2010, background): “Session and linear type systems [21, 18, 13] also include a typing rule for output of the form”
• Propositions as sessions (2012, positive): “Sub-typing for session types is considered by Gay and Hole (2005), and the linear functional language for session types considered in this paper was introduced by Gay and Vasconcelos (2010).”
• Multiparty asynchronous session types (2008, positive): “1 This delegation rule (from [24]) is chosen over the more liberal one in [19, 20, 56] (which uses substitution as in [R]) for simpler presentation.”
• Structured Communication-Centred Programming for Web Services (2007, methodology): “Recursive types are regarded as regular trees in the standard way [ 13 ].”