文森特·克雷米特；弗朗索瓦·加里洛；朗格莱，塞尔盖伊；马丁·奥德斯基 scala类型检查的核心演算。 （英语） Zbl 1132.68320号 Králović，Rastislav（编辑）等人，《2006年计算机科学的数学基础》。2006年8月28日至9月1日在斯洛伐克斯塔拉莱斯纳举行的2006年MFCS第31届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37791-3/pbk）。计算机科学讲稿41621-23（2006）。 摘要：我们提供了一个最小的核心演算，它捕获了Scala编程语言的有趣结构：嵌套类、抽象类型、混合组合和路径依赖类型。我们证明了这种微积分中的类型分配和分型问题是可判定的。关于整个系列，请参见[Zbl 1114.68008号]. 引用于三文件 MSC公司： 68甲15 编程语言理论 PDF格式BibTeX公司 XML格式引用 \textit{V.Cremet}等人，Lect。注释计算。科学。4162，1--23（2006年；Zbl 1132.68320） 全文： 内政部 哈尔