文件名称：hs-to-coq：将Haskell源代码转换为Coq源代码
文件大小：2.22MB
文件格式：ZIP
更新时间：2024-02-24 20:59:25
haskell coq HaskellCoq
高速转coq 加入我们的讨论： 此存储库包含从Haskell代码到等效Coq代码的转换器，作为项目的组件的一部分。 CPP'18论文由Antal Spector-Zabusky，Joachim Breitner，Christine Rizkallah和Stephanie Weirich撰写，题为 。 本文介绍以下示例： 从GHC的FPGA实现多集的实现 赫顿的剃刀 base/目录的来源 Joachim Breitner，Antal Spector-Zabusky，Yao Li，Christine Rizkallah，John Wiegley和Stephanie Weirich撰写的