文件名称：sml-abt-unify:SML中ABT的简单统一
文件大小：11KB
文件格式：ZIP
更新时间：2024-06-01 19:22:06
StandardML
sml-abt-unify sml-abt用绑定变量和*变量定义了一个很好的术语概念。 在此之上，我们可以定义用于统一到abt的通用统一算法。 此AbtUnify函数最简单的用法是使用AbtUnify函数。 AbtUnify(Abt : ABT_UTIL) :> UNIFY where type t = Abt.t where type var = Abt.Variable.t 这个UNIFY签名只是 signature UNIFY = sig (* Structures we're trying to merge *) type t (* The type of the free variables contained in t's *) ty
【文件预览】：
sml-abt-unify-master
----.gitignore(4B)
----src()
--------unify-operators.fun(5KB)
--------unify.sig(2KB)
--------meta.sml(3KB)
--------unify.fun(908B)
--------meta.sig(1KB)
----LICENSE(1KB)
----abt-unify.cm(346B)
----.gitmodules(181B)
----README.md(4KB)
----lib()
--------cmlib()
--------sml-abt()
----test()
--------systemf.sml(4KB)
--------sources.cm(80B)
----development.cm(216B)