托尔斯滕·阿滕柯奇;康纳·麦克布莱德 依赖类型编程中的泛型编程。 (英语) Zbl 1089.68529号 Jeremy Gibbons等人,《通用编程》。IFIP TC2/WG2.1。通用编程工作会议,2002年7月11日至12日,德国达格斯图尔。马萨诸塞州波士顿:Kluwer学术出版社(ISBN 1-4020-7374-7/hbk)。IFIP,国际信息处理联合会115,1-20(2003)。 摘要:我们展示了更高级的泛型编程可以在依赖类型的编程系统中如实地表示。此开发已使用OLEG系统实现。当前的工作可以被视为我们的论文的证据,即类型系统的扩展可以通过在依赖类型的语言中编程来完成,使用数据作为类型的代码。关于整个系列,请参见[Zbl 1055.68037号]. 引用于10文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 关键词:依赖类型语言 软件:息肉 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}和\textit{C.McBride},IFIP,国际联邦信息处理。115,1-20(2003;Zbl 1089.68529)