3 ms·
The nicest and clearest presentation of first-order unification I know of is in this book: https://www21.in.tum.de/~nipkow/TRaAT/ https://www21.in.tum.de/~nipk
by auggierose 11y ago
The nicest and clearest presentation of first-order unification I know of is in this book:
https://www21.in.tum.de/~nipkow/TRaAT/ https://www21.in.tum.de/~nipkow/TRaAT/
From there it is a simple means to form and solve the type equations needed for Hindley Milner.