This is a gentle introduction to Hindley-Milner type inference, which handwaves over formal typing rules and focuses on the general shape of the algorithm. The (bi-directionality) title is a little misleading.
Where would you go after this gentle introduction?
I don’t have a good answer for you, but the author of this post mentions another post on the “unification” algorithm. I’ll probably read that next.