阿特姆·阿利马林;斯梅特泽斯，沙克 优化泛型函数。 （英语） Zbl 1106.68336号 德克斯特（编辑），《程序构建的数学》。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22380-0/pbk）。计算机科学讲稿312516-31（2004）。 概述：泛型函数是通过对类型的结构表示进行归纳来定义的。因此，通过只定义一个泛型操作，可以在任何特定类型上获取此操作。特定类型上的实例是通过解释该类型的结构生成的。直接翻译导致代码效率极低，涉及类型及其结构表示之间的许多转换。本文提出了一种基于编译时符号求值的优化技术。我们证明，优化消除了大量泛型函数生成代码的开销。该证明使用类型来标识应该删除的中间数据结构。本质上，优化后的输出类似于手写代码。关于整个系列，请参见[Zbl 1053.68005号]. 引用于三文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲18 函数编程和lambda演算 PDF格式BibTeX公司 XML格式引用 \textit｛A.Alimarine｝和\textit｛S.Smetsers｝，Lect。注释计算。科学。3125，16-31（2004；Zbl 1106.68336） 全文： 内政部