Top Talked Books
Hacker News Books
Stack Overflow Books
Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science)
Author: Mark P. Jones
Avaliable on Amazon
Mark Jones's thesis is (though it's from 1994), definitive in Haskell type inference: https://www.amazon.com/Qualified-Types-Practice-Distinguished-Dissertations/dp/0521543266 An earlier tech-report version is available for free (though it's scanned) at https://www.cs.ox.ac.uk/files/3432/PRG106.pdf
If you don't want to miss out any great books, please subscribe. Don't worry, we hate spam too, we will not send you anything other than great books.