使用幻影类型和递归方案的实用数据类型特化
摘要：用虚类型描述数据类型的专业化 翻译结果： 数据类型的专业化是一种子类型化形式，它捕获使用方便和直观的数据类型表示法来表达的数据结构上的程序不变性。特别感兴趣的是结构不变性，如良好形式。我们研究了使用虚类型描述数据类型专业化的方法。我们展示了在Standard ML的类型系统中可以表达静态检查的专业化。我们还展示了这可以通过不损失在案例表达式中进行模式匹配等有用的编程功能来实现。
作者：Matthew Fluet, Riccardo Pucella
论文ID：cs/0510074
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23