Simple Dependent Types: Concord
Simple Dependent Types: Concord
复制标题
简单依赖类型：Concord
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
P. Jolly
中科院分区：
文献类型：
--
作者：
P. Jolly
我们为面向对象语言中受限制形式的依赖类型提出了一个简单的模型，其中类属于组，依赖是通过使用MyGrp关键字的组内引用引入的。我们介绍了激励和探索性的例子，给出了类型系统的形式化模型并概述了其合理性。
We suggest a simple model for a restricted form of dependent types in object oriented languages, whereby classes belong to groups and dependency is introduced via intragroup references using the MyGrp keyword. We introduce motivating and exploratory examples, present the formal model and outline soundness of the type system.