卢卡·帕多瓦尼 无上下文会话类型推断。 （英语） Zbl 1485.68072号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 804-830 (2017).MSC公司：68号30 68甲15 68甲18 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Padovani}，莱克特。注释计算。科学。10201、804--830（2017；Zbl 1485.68072） 全文： 内政部 哈尔
维维亚娜·博诺;希亚拉·梅萨;卢卡·帕多瓦尼 键入无副本消息传递。 （英语） Zbl 1326.68079号 Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记660257-76（2011）。MSC公司：68号30 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Bono}等人，Lect。注释计算。科学。660257-76（2011年；Zbl 1326.68079） 全文： 内政部 arXiv公司