We extend term unification techniques used to type extensible records in order to solve the two main typing problems for modules in Standard ML: matching and sharing. We obtain a type system for modules based only on well known unification problems, modulo some equational theories we define. Our formalization is simple and has the elegance of polymorphic type disciplines based on unification. It can be seen as a synthesis of previous work on module and record typing.
我们扩展了用于键入可扩展记录的术语统一技术,以解决标准ML中模块的两个主要键入问题:匹配和共享。我们仅基于众所周知的统一问题,以我们定义的一些方程式理论为模,来获得模块的类型系统。我们的形式化很简单,并且具有基于统一的多态类型学科的优雅。可以将它视为先前有关模块和记录类型的工作的综合。 P>
机译:I型和II型短路条件下硅和碳化硅功率模块中电流共享的电热模拟
机译:排2量子圈中具有坐标的A(1)型扩展仿射李代数的核心模。
机译:超越共有决策的言论:设计与型糖尿病类型1型糖尿病的年轻人的个人健康记录技术
机译:如何共享受海啸破坏的文化财产恢复项目的记录:学生志愿者记录的三种类型文档的数字化
机译:使用遗传模块排名和评分神经发育障碍中的临界细胞类型
机译:离散妇科癌症的分析揭示了新的转录模块和其他癌症类型和胚胎干细胞共有的共同特征。
机译:扩展记录类型以共享共享参数模块