递归模块的语法类型系统
摘要
工具书类
建议
递归模块的句法类型系统 OOPSLA’11:2011年ACM面向对象编程系统语言和应用国际会议记录 ML型递归模块的实用类型系统应解决至少两个技术挑战。 首先,它需要解决双重视觉问题,这是指递归模块的外部视图和内部视图之间的不一致。。。
评论
信息和贡献者
问询处
发布于
![封面图片ACM SIGPLAN注意事项](/cms/asset/d804e29f-e53c-431e-ac9a-890bd4aa922a/2076021.cover.jpg)
出版商
出版历史
检查更新
作者标记
限定符
研究文章