Hernán, Melgratti; Padovani, Luca, Chaperone Contracts for Higher-Order Sessions, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [articolo]
Padovani, Luca, Context-Free Session Type Inference, in: Programming Languages and Systems, DEU, Springer, 2017, 10201, pp. 804 - 830 (atti di: European Symposium on Programming, Uppsala, Sweden, 22-29 April 2017) [Contributo in Atti di convegno]
Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola, On Sessions and Infinite Data, «LOGICAL METHODS IN COMPUTER SCIENCE», 2017, 13, pp. 1 - 45 [articolo]
Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2017, 39, pp. 13:1 - 13:45 [articolo]
Padovani, Luca, Type-Based Analysis of Linear Communications, in: Behavioural Types: from Theory to Tools, NLD, River Publishers, 2017, pp. 193 - 217 [capitolo di libro]
Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Montesi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide, Behavioral Types in Programming Languages, «FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES», 2016, 3, pp. 95 - 230 [articolo]Open Access
Padovani, Luca, Fair Subtyping for Multi-Party Session Types, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 424 - 464 [articolo]
Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi, Foundations of session types and behavioural contracts, «ACM COMPUTING SURVEYS», 2016, 49, Article number: 2873052, pp. 1 - 36 [articolo]Open Access
Coppo, Mario; Dezani, Mariangiola; Nobuko, Yoshida; Padovani, Luca, Global Progress for Dynamically Interleaved Multiparty Sessions, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 238 - 302 [articolo]
Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola, On sessions and infinite data, in: Coordination Models and Languages, DEU, Springer Verlag, 2016, 9686, pp. 245 - 261 (atti di: 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, 2016) [Contributo in Atti di convegno]
Coppo, Mario; Dezani-ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko, A gentle introduction to multiparty asynchronous session types, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), DEU, Springer Verlag, 2015, pp. 146 - 178 [capitolo di libro]
Laneve, Cosimo; Padovani, Luca, An algebraic theory for web service contracts, «FORMAL ASPECTS OF COMPUTING», 2015, 27, pp. 613 - 640 [articolo]Open Access
Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, in: Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), USA, ACM, 2015, pp. 917 - 934 (atti di: ACM International Conference on Object Oriented Programming Systems Languages & Applications, Pittsburgh, PA, USA, 25-30 October 2015) [Contributo in Atti di convegno]
Padovani, Luca; Chen, Tzu Chun; Tosatto, Andrea, Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi, in: Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), DEU, Springer, 2015, 9037, pp. 83 - 98 (atti di: International Conference on Coordination Models and Languages, Grenoble, France, 2-5 June 2015) [Contributo in Atti di convegno]
Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite Regular Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2015, 11, pp. 1 - 45 [articolo]
