unification using trampolining
More...
Read more about unification in logic on Wikipedia.
Read more about trampoling in computing on Wikipedia.
welopment.com
Homepage
unknown (LICENSE)
tailcalls
Packages that depend on unification
Back