哈斯克尔表演课 swMATH ID: 28834 软件作者： 克里斯蒂安·斯特纳格尔；雷内·蒂曼 描述： Isabelle/HOL的Haskell表演课。我们为“to-string”函数实现了一个类型类，类似于Haskell的Show类。此外，我们还为Isabelle/HOL的标准类型（如bool、prod、sum、nats、ints和rate）提供了实例化。此外，还可以为任意用户定义的数据类型自动派生show函数，类似于Haskell的“派生show”。 主页： https://www.isa-afp.org/entries/Show.html 依赖项： 伊莎贝尔 相关软件： 存档正式证据;伊莎贝尔/HOL;Coq公司;名义2;蛋糕ML_Codegen;皮尔斯纳;蛋糕ML;HOL公司;伊莎贝尔;ACL2型;PVS公司;CoLoR公司;Xml文件;认证_名称;剑桥LCF;低成本融资;大锤;CeTA公司 引用于： 2文件 4位作者引用 1 拉尔斯·胡佩尔 1 托比亚斯·尼普科 1 克里斯蒂安·斯特纳格尔 1 雷内·蒂曼 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文