search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 10 forks source link

Unification under a mixed prefix #79

Open bcdarwin opened 6 years ago

bcdarwin commented 6 years ago

http://www.lix.polytechnique.fr/~dale/papers/jsc92.pdf

Relevant to logic programming, theorem proving, and dependent pattern matching as, e.g., found in the highly-voted "Why dependent types matter" (#74).