洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 派生对象的会话和联合类型。 (英语) 兹比尔1308.68035 数学。结构。计算。科学。 23,第6期,1163-1219(2013). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68号30 68甲19 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,《数学》。结构。计算。科学。23,第6号,1163--1219(2013;Zbl 1308.68035) 全文: 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 类Java语言的灵活动态特征替换。 (英语) Zbl 1284.68101号 科学。计算。程序。 78,第7期,907-932(2013).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第7号,907--932(2013;Zbl 1284.68101) 全文: 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 面向对象语言中具有复制语义的动态重载:一个正式帐户。 (英语) Zbl 1175.68094号 西奥。通知。申请。 43,第3期,517-565(2009).MSC公司:68甲15 68甲19 68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,Theor。通知。申请。43,第3号,517--565(2009;Zbl 1175.68094) 全文: 内政部 Numdam编号 欧洲DML
洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 具有动态和静态重载的轻量级Java。 (英语) Zbl 1183.68137号 科学。计算。程序。 74,编号5-6,261-278(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,《科学》。计算。程序。74,编号5--6261--278(2009;Zbl 1183.68137) 全文: 内政部
萨拉·卡佩基;马里奥·科普;马里亚纽拉州Dezani-Ciancaglini;索菲亚·德罗索波卢;埃琳娜·贾奇诺 将面向对象语言中的会话和方法与泛型合并。 (英语) 兹比尔1169.68011 西奥。计算。科学。 410,编号2-3,142-167(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,Theor。计算。科学。410,编号2--3,142-167(2009;Zbl 1169.68011) 全文: 内政部
洛伦佐·贝蒂尼;萨拉·卡佩基;马里亚纽拉州Dezani-Ciancaglini;埃琳娜·贾奇诺;贝蒂·文内里 面向对象编程的会话和联合类型。 (英语) Zbl 1143.68355号 Degano,Pierpaolo(编辑)等人,《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-68676-7/pbk)。计算机科学课堂讲稿5065659-680(2008)。MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,Lect。注释计算。科学。5065659--680(2008年;Zbl 1143.68355) 全文: 内政部 链接
洛伦佐·贝蒂尼;萨拉·卡佩基;贝蒂·文内里 将双重调度转换为单一调度。 (英语) Zbl 1272.68091号 Bono,Viviana(编辑)等人,第二届面向对象开发研讨会论文集(WOOD 2004),英国伦敦,2004年8月30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》138,第2期,59-78(2005)。MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,电子。注释Theor。计算。科学。138,第2号,59--78(2005;Zbl 1272.68091) 全文: 链接