Browse by Aston Author

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 5.

Article

Scalas, Alceste and Yoshida, Nobuko (2019). Less is more: multiparty session types revisited. Proceedings of the ACM on Programming Languages, 3 (POPL),

Bartoletti, Massimo, Scalas, Alceste, Tuosto, Emilio and Zunino, Roberto (2016). Honesty by typing. Logical Methods in Computer Science, 12 (4:7), pp. 1-58.

Book Section

Scalas, Alceste, Yoshida, Nobuko and Benussi, Elias (2019). Verifying Message-Passing Programs with Dependent Behavioural Types. IN: 40th ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). UNSPECIFIED. (In Press)

Scalas, Alceste, Dardha, Ornela, Hu, Raymond and Yoshida, Nobuko (2017). A linear decomposition of multiparty sessions for safe distributed programming. IN: 31st European Conference on Object-Oriented Programming, ECOOP 2017. Muller, Peter (ed.) Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Scalas, Alceste and Yoshida, Nobuko (2016). Lightweight session programming in scala. IN: 30th European Conference on Object-Oriented Programming, ECOOP 2016. Lerner, Benjamin S. and Krishnamurthi, Shriram (eds) 30th European Conference on Object-Oriented Programming (ECOOP 2016), 56 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

This list was generated on Wed Jun 26 01:56:01 2019 BST.