mptc:haskell的类型推断

【文件属性】：
文件名称：mptc:haskell的类型推断
文件大小：370KB
文件格式：ZIP
更新时间：2021-05-06 15:20:48
Haskell 具有不带扩展名的多参数类型类的Haskell的类型推断 描述 Haskell的类型推断，支持无功能依赖项或类型族的多参数类型类。 代码结构 - /src/BuiltIn : contains modules for built-in definitions of types and classes. - /src/Iface: contains modules that does the building of a initial type environment before the type checking / inference of a given module. - /src/Libs: This folder contains several Haskell libraries that have been checked with thisfront-end.