文件名称：sml-higher-order-matching:（可能已损坏）二阶模式匹配
文件大小：3KB
文件格式：ZIP
更新时间：2024-06-02 22:05:18
StandardML
sml高阶匹配 高阶匹配是高阶统一的简化版本（通常无法确定）。 幸运的是，对于JonPRL和其他相关应用程序，匹配正是我们所需要的。 我正在尝试实现Gilles Dowek，Therese Hardin，Claude Kirchner和Frank Pfenning所著的“通过显式替换的统一：高阶模式的情况”中描述的算法。 现在真的坏了。 主要是因为我还没有写。
【文件预览】：
sml-higher-order-matching-master
----.gitignore(13B)
----src()
--------match.sig(240B)
--------match.fun(340B)
----.gitmodules(173B)
----README.md(483B)
----lib()
--------cmlib()
--------sml-abt()
----higher-order-matching.cm(129B)
----development.cm(108B)