Linear type theory for asynchronous session types

Journal of Functional Programming

Volumn 20, Issue 1, 2010, Pages 19-50

  Gay, Simon J ^a   Vasconcelos, Vasco T ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED SYSTEMS; FUNCTIONAL LANGUAGES; LANGUAGE DEVELOPMENT; LINEAR TYPE THEORY; OBJECT-ORIENTATION; OPERATIONAL SEMANTICS; STRUCTURED PATTERNS; SYNCHRONOUS COMMUNICATIONS;

COMMUNICATION; NETWORK PROTOCOLS;

FORMAL LANGUAGES;

EID: 77951136536     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796809990268     Document Type: Article

References (35)

1. Amtoft, T., Nielson, F. & Nielson, H. R. (1999) Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, London.
2. Bonelli, E., Compagnoni, A. & Gunter, E. (2005) Correspondence assertions for process synchronization in concurrent communication, J. Funct. Program. 15(2), 219-247.
3. Capecchi, S., Coppo, M., Dezani-Ciancaglini, M., Drossopoulou, S. & Giachino, E. (2009) Amalgamating sessions and methods in object-oriented languages with generics, Theoret. Comp. Sci. 410, 142-167.
4. Coppo, M., Dezani-Ciancaglini, M. & Yoshida, N. (2007) Asynchronous session types and progress for object-oriented languages. In Proceedings of the 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), M. M. Bonsangue and E. B. Johnsen (eds.), Lecture Notes in Computer Science, vol.4468. Springer, Berlin, pp. 1-31. (Pubitemid 350259391)
5. DeLine, R. & F̈ahndrich, M. (2001) Enforcing high-level protocols in low-level software. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, vol.36, no.5. ACM Press, pp. 59-69.
6. Dezani-Ciancaglini, M.,Mostrous, D., Yoshida, N. & Drossopoulou, S. (2006) Session types for object-oriented languages. In Proceedings of the European Conference on Object-Oriented Languages (ECOOP), D. Thomas (ed.), Lecture Notes in Computer Science, vol.4067. Springer, Berlin, pp. 328-352.
7. Dezani-Ciancaglini, M., Yoshida, N., Ahern, A. & Drossopolou, S. (2005) A distributed object-oriented language with session types. In Proceedings of the International Symposium on Trustworthy Global Computing (TGC), R. DeNicola and D. Sangiorgi (eds.), Lecture Notes in Computer Science, vol.3705. Springer, Berlin, pp. 299-318.
8. F̈ahndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J. R. & Levi, S. (2006) Language support for fast and reliable message-based communication in Singularity OS. In Proceedings of the EuroSys Conference, SIGOPS Operating Systems Review, vol.40, no.4. ACM Press, pp. 177-190.
9. F̈ahndrich, M. & DeLine, R. (2002) Adoption and focus: practical linear types for imperative programming. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, vol.37, no.5. ACM Press, pp. 13- 24.
10. Gay, S. J. (2006) Subtyping Between Standard and Linear Function Types, Technical Report 2006-2305 Glasgow, Scotland: Department of Computing Science, University of Glasgow.
11. Gay, S. J. (2008) Bounded polymorphism in session types, Math. Struct. Comp. Sci. 18(5), 895-930.
12. Gay, S. J. & Hole, M. J. (2005) Subtyping for session types in the pi calculus, Acta Inform. 42(2/3), 191-225.
13. Gay, S. J. & Vasconcelos, V. T. (2007) Asynchronous Functional Session Types, Technical Report 2007-2251 Glasgow, Scotland: Department of Computing Science, University of Glasgow.
14. Gay, S. J., Vasconcelos, V. T. & Ravara, A. (2003) Session Types for Inter-Process Communication, Technical Report 2003-2133 Glasgow, Scotland: Department of Computing Science, University of Glasgow.
15. Gay, S. J., Vasconcelos, V. T., Ravara, A., Gesbert, N. & Caldeira, A. Z. (2010) Modular session types for distributed object-oriented programming. In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM Press.
16. Grossman, D. (2003) Type-safe multithreading in Cyclone. In Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), SIGPLAN Notices, vol.38, no.3. ACM Press, pp. 13-25.
17. Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y. & Cheney, J. (2002) Regionbased memory management in Cyclone. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, vol.37, no.5. ACM Press, pp. 282-293.
18. Honda, K. (1993) Types for dyadic interaction. In Proceedings of the International Conference on Concurrency Theory (CONCUR), E. Best (ed.), Lecture Notes in Computer Science, vol.715. Springer, Berlin, pp. 509-523.
19. Honda, K., Vasconcelos, V. T. & Kubo, M. (1998) Language primitives and type discipline for structured communication-based programming. In Proceedings of the European Symposium on Programming Languages and Systems (ESOP), C. Honkin (ed.), Lecture Notes in Computer Science, vol.1381. Springer, Berlin, pp. 122-138.
20. Honda, K., Yoshida, N. & Carbone, M. (2008) Multiparty asynchronous session types. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), SIGPLAN Notices, vol.43, no.1. ACM Press, pp. 273-284.
21. Lanese, I., Vasconcelos, V. T., Martins, F. & Ravara, A. (2007) Disciplining orchestration and conversation in service-oriented computing. In Proceedings of the IEEE International Conference on Software Engineering and Formal Methods. IEEE, pp. 305-314.
22. Neubauer, M. & Thiemann, P. (2004a) An implementation of session types. In Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL), B. Jayaraman (ed.), Lecture Notes in Computer Science, vol.3057. Springer, Berlin, pp. 56-70.
23. Neubauer, M. & Thiemann, P. (2004b) Protocol specialization. In Proceedings of the Asian Symposium on Programming Languages and Systems (APLAS), W.-N. Chin (ed.), Lecture Notes in Computer Science, vol.3302. Springer, Berlin, pp. 246-261.
24. Neubauer, M. & Thiemann, P. (2004c) Session Types for Asynchronous Communication. [online] Available at: http://www.informatik.uni-freiburg.de/? thiemann/papers/stac.ps.gz Accessed 17 November 2009.
25. Neubauer, M. & Thiemann, P. (2005) From sequential programs to multi-tier applications by program transformation. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), SIGPLAN Notices, vol.40, no.1. ACM Press, pp. 221-232.
26. Peyton Jones, S. &Wadler, P. (1993). Imperative functional programming. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM Press, pp. 71-84.
27. Pierce, B. C. (2002) Types and Programming Languages.MIT Press, Cambridge,Massachusetts.
28. Takeuchi, K., Honda, K. & Kubo, M. (1994) An interaction-based language and its typing system. In Proceedings of Parallel Architectures and Languages Europe (PARLE), C. Halatsis, D.Maritsas, G. Philokyprou and S. Theodoridis (eds.), Lecture Notes in Computer Science, vol.817. Springer, Berlin, pp. 398-413.
29. Vallecillo, A., Vasconcelos, V. T. & Ravara, A. (2006) Typing the behavior of software components using session types, Fundam. Inform. 73(4), 583-598.
30. Vasconcelos, V. T., Gay, S. J. & Ravara, A. (2006) Typechecking a multithreaded functional language with session types, Theoretical Computer Science 368(1-2), 64-87.
31. Vasconcelos, V. T., Ravara, A. & Gay, S. J. (2004) Session types for functional multithreading. In Proceedings of the International Conference on Concurrency Theory (CONCUR), P. Gardner and N. Yoshida (eds.), Lecture Notes in Computer Science, vol.3170. Springer, Berlin, pp. 497-511.
32. W3C. 2005 Services choreography description language version 1.0 [online]. Available at: http://www.w3.org/TR/2005/CR-ws-cdl-10/ Accessed 17 November 2009.
33. Walker, D. (2005) Substructural type systems. In Advanced Topics in Types and Programming Languages, Pierce, B. C. (ed.). MIT Press, Cambridge, Massachusetts, Chapter 1, pp. 3-43.
34. Wright, A. K. & Felleisen, M. (1994) A syntactic approach to type soundness. Inform. Comput. 115(1), 38-94.
35. Yoshida, N. & Vasconcelos, V. T. (2007) Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication, ENTCS 171(4), 73-93.