MzLib公司 swMATH ID: 33607 软件作者： 莱斯大学PLT集团 描述： MzLib概述：MzScheme中没有内置MzLib实用程序和语法，并且在独立版本的MzSchema启动后，它们也不存在。MzLib分布在几个较小的库中，每个较小的库都可以单独加载。下一章将详细介绍每个库及其所需的其他库提供的实用程序。MzLib的非宏部分使用有符号单位编写（参见第7.2节）。这些库可以通过单元使用，也可以调用并打开单元，将实用程序用作顶层定义。 主页： https://www.informatik.uni-kiel.de网站/~scheme/doc/mzscheme/node157.htm 相关软件： DrScheme博士；GHC公司；艾菲尔 引用于： 1文件 3位作者引用 1 马库斯·德根 1 彼得·蒂曼。 1 斯特凡·韦尔 连载1篇 1 逻辑与代数程序设计杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文