A type checking algorithm for qualified session types

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 61, Issue , 2011, Pages 96-114

  Giunti, Marco ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMMUNICATION CHANNELS (INFORMATION THEORY); SPECIFICATIONS; WEBSITES;

PI CALCULUS; SESSION TYPES; STRUCTURAL CONGRUENCES; TYPECHECKING; TYPING SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 84887073440     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.61.7     Document Type: Conference Paper

References (15)

1. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009): Foundations of session types. In: PPDP, ACM Press, pp. 219–230. Available at http://doi.acm.org/10.1145/1599410.1599437.
2. Mariangiola Dezani-Ciancaglini & Ugo de’Liguoro (2009): Sessions and Session Types: An Overview. In: WS-FM, Lectures Notes in Computer Science 6194, Springer, pp. 1–28. Available at http://dx.doi.org/10.1007/978-3-642-14458-5_1.
3. Simon J. Gay & Malcolm J. Hole (2005): Subtyping for Session Types in the Pi Calculus. Acta Informatica 42(2/3), pp. 191–225.
4. Marco Giunti (2011): Typed Observational Equivalence for Sessions. Submitted.
5. Marco Giunti & Vasco T. Vasconcelos (2010): A Linear Account of Session Types in the Pi Calculus. In: CONCUR, Lecture Notes in Computer Science 6269, Springer, pp. 432–446. Available at http://dx.doi.org/10.1007/978-3-642-15375-4_30.
6. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, Lectures Notes in Computer Science 1381, Springer, pp. 122–138. Available at http://dx.doi.org/10.1007/BFb0053567.
7. Naoki Kobayashi, Benjamin C. Pierce & David N. Turner (1999): Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems 21(5), pp. 914–947. Available at http://doi.acm.org/10.1145/330249.330251.
8. Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt & Jean-Bernard Stefani (2009): Typing Component-Based Communication Systems. In: FMOODS/FORTE, Lectures Notes in Computer Science 5522, Springer, pp. 167–181. Available at http://dx.doi.org/10.1007/978-3-642-02138-1_11.
9. Robin Milner, Joachim Parrow & David Walker (1992): A Calculus of Mobile Processes, parts I and II. Information and Computation 100(1), pp. 1–77.
10. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press.
11. Benjamin C. Pierce & Davide Sangiorgi (1996): Typing and Subtyping for Mobile Processes. Mathematical Structures in Computer Science 6(5), pp. 409–453.
12. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE, Lectures Notes in Computer Science 817, Springer, pp. 398–413.
13. Vasco T. Vasconcelos (2009): Fundamentals of Session Types. In: SFM, Lectures Notes in Computer Science 5569, Springer, pp. 158–186. Available at http://dx.doi.org/10.1007/978-3-642-01918-0_4.
14. Vasco T. Vasconcelos (2011): Sessions, from types to programming languages. In Luca Aceto, editor: The Concurrency Column, Bulletin of the EATCS 103, pp. 53–73.
15. David Walker (2005): Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems. MIT Press.