从Haskell到Java字节码的优化编译器：第三年论文项目。
An Optimising Compiler from Haskell to Java Bytecode: 3rd year dissertation project. (2019-05-17, Haskell, 0KB, 下载0次)
程序终止检查器，如“提取用于终止检查的程序”一文中所述，
Program Termination Checker as described in the paper "Distilling Programs for Termination Checking", (2021-05-05, Haskell, 0KB, 下载0次)