达斯，安库什;亨利·德扬;安德烈亚·莫迪多;弗兰克·芬宁 嵌套会话类型。 （英语） Zbl 1473.68113号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 178-206 (2021).MSC公司：68问题85 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}等人，Lect。注释计算。科学。12648178-206（2021；Zbl 1473.68113） 全文： 内政部 arXiv公司 OA许可证
达斯，安库什;弗兰克·芬宁 具有算术优化的会话类型。 （英语） Zbl 07559469号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第13条，第18页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{F.Pfenning}，LIPIcs——莱布尼茨国际程序。通知。171，第13条，第18页（2020；Zbl 07559469） 全文： 内政部 arXiv公司