Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Ratings by cpressey of Unification works
Unification: A Multidisciplinary Survey
- rating: 1
.
Correcting a Widespread Error in Unification Algorithms
- rating: 1
.
Notes: Unification
- rating: 1
.
mrocklin/unification
- rating: 1
.
parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell
- rating: 1
.
jozefg/higher-order-unification: A small implementation of higher-order unification
- rating: 1
.