HNT公司 swMATH ID: 22614 软件作者： 克里斯托夫·卡尔维斯 描述： Haskell名义工具包。Haskell Nominal ToolKit（HNT）由一个Haskel库组成，该库提供：字母等效性、匹配和重写算法以及新鲜上下文；一元框架可以轻松处理环境、新鲜上下文和替换；通用拉链实现；以及一个交互式重写工具，在任何子组上提供重写/更新。交互式工具必须被视为库可能性的技术演示。 主页： https://perso.crans.org/calves/hnt/ 依赖项： 哈斯克尔 相关软件： Freshml公司；伊莎贝尔/HOL；新鲜OCaml；未绑定；德尔芬；RepLib（复制库）；LNgen（液化天然气）；GHC公司；哈斯克尔；白鲸；奥特；OCaml公司 引用于： 2文件 5位作者引用 1 克利斯朵夫·卡尔维斯 1 玛丽贝尔·费尔南德斯 1 蒂姆·谢尔德 1 斯蒂芬妮，威里奇 1 布兰特·尤吉（Brent A.Yorgey）。 连载1篇 1 计算机与系统科学杂志 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文