摘要：Mella：一种纯净简洁的依赖类型编程语言和交互式定理证明器的研究及应用案例。
作者：Alasdair Armstrong, Simon Foster and Georg Struth
论文ID：1112.3833
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19
PDF 下载： 英文版 中文版pdf翻译中