Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti Deriving session and union types for objects. (English) Zbl 1308.68035 Math. Struct. Comput. Sci. 23, No. 6, 1163-1219 (2013). Reviewer: Haim Kilov (Millington) MSC: 68N30 68N19 68Q55 03B70 PDFBibTeX XMLCite \textit{L. Bettini} et al., Math. Struct. Comput. Sci. 23, No. 6, 1163--1219 (2013; Zbl 1308.68035) Full Text: DOI
Bettini, Lorenzo; Capecchi, Sara; Damiani, Ferruccio On flexible dynamic trait replacement for Java-like languages. (English) Zbl 1284.68101 Sci. Comput. Program. 78, No. 7, 907-932 (2013). MSC: 68N15 68N19 PDFBibTeX XMLCite \textit{L. Bettini} et al., Sci. Comput. Program. 78, No. 7, 907--932 (2013; Zbl 1284.68101) Full Text: DOI
Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti Dynamic overloading with copy semantics in object-oriented languages: a formal account. (English) Zbl 1175.68094 Theor. Inform. Appl. 43, No. 3, 517-565 (2009). MSC: 68N15 68N19 68Q55 68N18 PDFBibTeX XMLCite \textit{L. Bettini} et al., Theor. Inform. Appl. 43, No. 3, 517--565 (2009; Zbl 1175.68094) Full Text: DOI Numdam EuDML
Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti Featherweight Java with dynamic and static overloading. (English) Zbl 1183.68137 Sci. Comput. Program. 74, No. 5-6, 261-278 (2009). MSC: 68N15 PDFBibTeX XMLCite \textit{L. Bettini} et al., Sci. Comput. Program. 74, No. 5--6, 261--278 (2009; Zbl 1183.68137) Full Text: DOI
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena Amalgamating sessions and methods in object-oriented languages with generics. (English) Zbl 1169.68011 Theor. Comput. Sci. 410, No. 2-3, 142-167 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{S. Capecchi} et al., Theor. Comput. Sci. 410, No. 2--3, 142--167 (2009; Zbl 1169.68011) Full Text: DOI
Bettini, Lorenzo; Capecchi, Sara; Dezani-Ciancaglini, Mariangiola; Giachino, Elena; Venneri, Betti Session and union types for object oriented programming. (English) Zbl 1143.68355 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 659-680 (2008). MSC: 68N19 PDFBibTeX XMLCite \textit{L. Bettini} et al., Lect. Notes Comput. Sci. 5065, 659--680 (2008; Zbl 1143.68355) Full Text: DOI Link
Bettini, Lorenzo; Capecchi, Sara; Venneri, Betti Translating double dispatch into single dispatch. (English) Zbl 1272.68091 Bono, Viviana (ed.) et al., Proceedings of the 2nd workshop on object oriented developments (WOOD 2004), London, UK, August 30, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 138, No. 2, 59-78 (2005). MSC: 68N19 68N15 PDFBibTeX XMLCite \textit{L. Bettini} et al., Electron. Notes Theor. Comput. Sci. 138, No. 2, 59--78 (2005; Zbl 1272.68091) Full Text: Link