ParentFull threadBellsOnSunday·Hindley's Basic Simple Type Theory is accessible and comes from the horse's mouth: http://books.google.co.uk/books/about/Basic_Simple_Type_Theo....View on HN