用透明性实现OCaml模块
摘要
补充材料
下载 616.97 KB
工具书类
建议
1ML–核心和模块统一(F-ing一流模块) 2015年ICFP ML是两种语言合二为一:有核心,有类型和表达式,有模块,有签名、结构和函子。 模块在核心之上形成一种独立的高阶函数语言。 既有实用性,也有。。。 F-ing模块 TLDI’10:第五届ACM SIGPLAN语言设计和实现类型研讨会会议记录 ML模块是一种强大的语言机制,用于将程序分解为可重用组件。 不幸的是,他们也以“复杂”而著称,需要花哨的理论,而这些理论对非专业人士来说大多是不透明的。 虽然这个声誉是。。。 使用开放存在类型在模块中建模抽象类型 POPL'09:第36届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录 我们提出了F-zip,一种开放存在类型的演算,它是通过将存在类型的引入和消除分解为更多的原子结构而获得的系统F的扩展。 开放存在类型模型模块化类型抽象为。。。
评论
信息和贡献者
问询处
发布于
出版商
出版历史
检查更新
作者标记
限定符
研究文章