git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Unification
master

Tree @master (Download .tar.gz)

Unification

(Up) | See also: Logic Programming

Works regarding the theory and practice of deciding if two objects containing unknowns can be made equal by assigning some concrete values to their unknowns.

Web resources

Notes: Unification ★

(in Programming Languages) bondi ★ 💭

Repositories

mrocklin/unification ★

parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell ★

jozefg/higher-order-unification: A small implementation of higher-order unification ★ 💭

Papers

Unification: A Multidisciplinary Survey (online @ kevincrawfordknight.github.io) ★ 💭

Correcting a Widespread Error in Unification Algorithms (online @ norvig.com) ★ 💭

(in Equational Logic) Equational logic, unification and term rewriting ★★

(in Formal Language) Functional Unification Grammar

Books

(in Linguistics) An Introduction to Unification-based Approaches to Grammar (online @ dash.harvard.edu) (borrow @ archive.org) ★

History of by-topic / Unification @master git clone https://git.catseye.tc/The-Glosscubator/